הצגת המקור של הדף "ריצוף של המישור"

'''ריצוף''' הוא כיסוי של [[משטח (טופולוגיה)|משטח]] או [[קבוצה (מתמטיקה)|קבוצה]] כללית יותר באריחים מאותו סוג.  
[[קובץ:Katamon Liwan PC280046.JPG|שמאל|ממוזער|250px|[[רצפה]] בבית בשכונת [[קטמון]] ב[[ירושלים]]]]
מעבר לשימוש החשוב של [[ריצוף (בינוי)|ריצופים]] בבניית [[רצפה]], ריצופים הם נושא שנחקר רבות ב[[אמנות]] וב[[מתמטיקה]]. כמו כן ריצופים מסוגים שונים מופיעים רבות בטבע הצומח והחי (דוגמה בולטת היא [[כוורת דבורים]] המבוססת על ריצוף של [[משושה|משושים]]), וכן בתופעות פיזיקליות רבות.

==ריצופים באמנות==
[[קובץ:Alhambra Detail 17.JPG|שמאל|ממוזער|250px|ארמונות [[אלהמברה]]]]
השימוש בצורות גאומטריות, ב[[סימטריה|סימטריות]], ובריצופים הוא עתיק מאוד באמנות. בהמשך הערך יובאו דוגמאות לשימושים בריצופים בקישוטים סיניים, בציורי קיר מצריים, בקישוט כל חרס וברונזה באשור, ועוד.  מכיוון שביהדות ובאסלאם נאסר לתלות תמונות של בני אדם, הגיעה האמנות של השימוש בצורות גאומטריות למידת שכלול גדולה. את השיא של השימוש בריצופים נהוג לראות במסגדים ומבנים מוסלמים מתקופת [[ימי הביניים]] ב[[אלהמברה]] שב[[ספרד]].  

במאה ה-20 [[מאוריץ קורנליס אשר]], חקר לעומק סוגים שונים של ריצופים ביצירותיו. אשר חקר את כל הסימטריות הבסיסיות של ריצופים ויצר ריצופים שבהם אריח אחד הופך בהדרגה לאריח אחר, תמונות שבהם אריחים יוצאים בהדרגתיות מתוך הדף והופכים לגופים תלת־ממדיים, ועוד. אשר חקר גם ריצופים מוכללים. כך, לדוגמה, הציור "[https://web.archive.org/web/20120717033517/http://www.mcescher.com/Gallery/recogn-bmp/LW436.jpg גבול מעגל 4 - שמים וגיהנום]" הוא למעשה ריצוף המתבסס על [[מודל הדיסק של פואנקרה]] {{אנ|Poincaré disk model}} (ריצוף של משטח [[גאומטריה לא אוקלידית|לא אוקלידי]]).

==ריצופים בטבע==
[[קובץ:Honey_comb.jpg |שמאל|ממוזער|250px|[[כוורת דבורים]]]]
ניתן למצוא ריצופים במקומות רבים בטבע. כך, לדוגמה, הסידור של התאים ב[[כוורת דבורים]] הוא על בסיס של ריצוף בעזרת משושים. ב[[דינמיקה לא ליניארית]] ניתן למצוא [[מערבולת|מערבולות]] היוצרות מבנים של ריצופים. כך, מערבולות של זרמי [[לבה]] יוצרות ריצופים על בסיס משושים, כמו זו אשר ניתן למצוא, לדוגמה, ב[[בריכת המשושים]].

ב[[גביש]]ים, ה[[אטום|אטומים]] מסתדרים במבנה מחזורי [[מרחב תלת-ממדי|תלת-ממדי]] כך שחתך של גביש מהווה ריצוף. אחת מהשיטות המחקריות לחקר [[מבנה גבישי]] זה הנה שיטת ה[[קריסטלוגרפיה]] ב[[קרני רנטגן]]. בשיטה זו, הגביש מוקרן ב[[קרני רנטגן]] ונמדדת תבנית ה[[התאבכות]] המתקבלת. התמונה הנמדדת מהווה למעשה [[התמרת פורייה]] של הגביש, ומקיימת את אותן הסימטריות של השריג המואר. מסיבה זאת עבודות רבות, כולל מציאת 17 חבורות הסימטריה של ריצופים, מקורם במדענים שעסקו ב[[קריסטלוגרפיה]].

==יצירת ריצופים מורכבים על בסיס ריצופים פשוטים ==

[[קובץ:Tiling exp.svg|שמאל|ממוזער|350px|יצירת ריצופים בנוסח [[מ.ק.אשר]]]]
בתמונה מופיע הסבר כיצד על בסיס של ריצופים פשוטים ניתן לבנות ריצופים מסובכים יותר, כגון אלו ש[[מאוריץ קורנליס אשר|אשר]] השתמש בהם בציוריו. ההתחלה היא מאריח פשוט המרצף את המישור, לדוגמה: ריבוע (משבצת 1). עתה גוזרים מהצלע העליונה שלו צורה כלשהי (משבצת 2), ומדביקים אותה על הצלע התחתונה (משבצת 3). מבצעים אותה פעולה על הצלעות הימנית והשמאלית (משבצות 4,5), ולבסוף מתקבל באופן זה האריח הנראה במשבצת 6. באותו אופן ניתן לבנות ריצוף מורכב יותר באמצעות האריח החדש (משבצת 7). ניתן להשיג גם סימטריה שונה על ידי סיבוב והדבקה על הצלע הימנית.

==ריצופים בעזרת מצולעים משוכללים==
הריצופים הפשוטים והמוכרים ביותר הם אלו הנעשים בעזרת [[מצולע משוכלל|מצולעים משוכללים]]. מבין הריצופים הנעשים בעזרת צורות משוכללות בלבד ניתן למצוא מספר תתי קבוצות:

===ריצופים משוכללים===
ריצופים משוכללים הם ריצופים הבנויים מאריח מסוג אחד המהווה מצולע משוכלל. דרישה נוספת היא שהריצוף יהיה צלע-לצלע. מכיוון שסכום הזויות בכל [[קודקוד]] חייב להיות 360 מעלות, קל לראות שקיימים רק 3 ריצופים כאלו:

<gallery>
tile 3,6.svg|ריצוף באמצעות [[משולש]]ים
תמונה:tile 4,4.svg|ריצוף באמצעות [[ריבוע]]ים
תמונה:tile 6,3.svg|ריצוף באמצעות [[משושה|משושים]] 
</gallery>

===ריצופים אוניפורמיים===
ריצופים אוניפורמיים הם ריצופים בהם כל הקודקודים זהים. כל הריצופים המשוכללים הם מסוג זה, ובנוסף על כך ישנם שמונה סוגים נוספים של ריצופים המבוססים על שילוב של מצולעים משוכללים יחד. ריצופים אלו נקראים גם ריצופים סמי-משוכללים או ריצופים ארכימדיים.

<gallery>
תמונה:tile 33336.svg| Snub Hexagonal Tiling
תמונה:tile 3636.svg|Trihexagonal Tiling
תמונה:tile 33344.svg|Elongated Triangular Tiling
תמונה:tile 33434.svg|Snub Square Tiling
תמונה:tile 3464.svg|Small Rhombitrihexagonal Tiling
תמונה:tile 488.svg|Truncated Square Tiling
תמונה:tile 3bb.svg|Truncated Hexagonal Tiling
תמונה:tile 46b.svg|Great Rhombitrihexagonal Tiling </gallery>

== סימטריות של ריצופים ==
כל הריצופים שהוצגו עד כה הם ריצופים מחזוריים, כלומר, ריצופים ש[[סימטריה להזזות|סימטריים תחת פעולת הזזה]], בשני כיוונים שונים. בנוסף לסימטריה להזזות, לריצוף עשויות להיות סימטריות נוספות. לדוגמה, הריצוף מריבועים (לוח משבצות) סימטרי גם לסיבובים ב-90 מעלות וכמו כן לשיקופים בארבעה כיוונים שונים: שיקוף אנכי דרך מרכז הריבוע, שיקוף אופקי וכן שיקופים דרך שני האלכסונים של הריבוע.  

ניתן לסווג ריצופים לפי ה[[סימטריה|סימטריות]] שהם מקיימים, הארוזות ב[[חבורת סימטריות|חבורת הסימטריות]]. לפעולות היוצרות סימטריות קוראים [[איזומטריה|איזומטריות]]. פעולות אלו ניתנות להגדרה על ידי פונקציה הפועלת על כל הנקודות במישור תוך שמירת [[מרחק]] כך שהמרחק בין שתי נקודות יהיה שווה למרחק של התמונות של שתי הנקודות. ישנם ארבעה סוגים של איזומטריות: הזזות, סיבובים, שיקופים וכן שיקוף גלישה - פעולה המשלבת שיקוף וגלישה. ניתן להוכיח כי ריצופים מחזוריים יכולים להיות סימטריים לסיבוב רק בסיבובים שהם כפולות של 90 מעלות או של 60 מעלות.

קבוצת כל הסימטריות של ריצוף מהווה [[חבורה (מבנה אלגברי)|חבורה]]. ניתן להוכיח שישנן רק 17 חבורות שריצוף מחזורי יכול לקיים (הנקראות wallpaper group). בתמונות להלן ניתן לראות דוגמאות לכל אחת מ-17 חבורות הסימטריה, וכן את השם ה[[קריסטלוגרפיה|קריסטלוגרפי]] שלהן. ראו גם [[חבורת סימטריות נקודתית]].

<gallery>
Wallpaper group-p1-3.jpg| '''החבורה p1''': אין סימטריות אחרות למעט הזזות
Wallpaper_group-p2-2 detail 2.jpg|'''החבורה p2''': מכילה סימטריות להזזה וכן לסיבוב ב-180 מעלות. (התמונה לקוחה משטיח [[מצרים|מצרי]])
WallpaperPM.gif|'''החבורה pm''': עבורה קיימת גם סימטריה לשיקוף בציר אחד
תמונה:Wallpaper group-pg-1 detail.jpg| '''החבורה pg''': עבורה קיימים גלישה-שיקוף אך לא קיימת סימטריה לסיבובים או שיקופים.
תמונה:Wallpaper_group-pmm-1.jpg|'''החבורה pmm''': קיימים שיקופים בשני צירים ניצבים וכן 4 מרכזים לסיבובים ב-180 מעלות (הצילום הוא של [[גדר]] עץ ב[[ארצות הברית]])
תמונה:Wallpaper_group-pmg-1.jpg|'''החבורה pmg''': קיימים שני צירים של סיבוב ב-180 מעלות, ציר שיקוף אחד וציר אחד של גלישה-שיקוף (הצילום הוא של [[רקמה]] מ[[הוואי]])
תמונה:Wallpaper_group-pgg-2.jpg|'''החבורה pgg''': שני צירים לסיבוב ב- 180 מעלות וכן שני צירים אנכיים של גלישה-שיקוף (הצילום הוא של מדרכה ב[[בודפשט]])
תמונה:Wallpaper_group-cmm-1.jpg|'''החבורה cmm''': מכילה שיקופים בשני צירים שונים וכן סיבובים ב- 180 מעלות (הצילום הוא של קיר לבנים)
תמונה:Wallpaper_group-p4-2.jpg|'''החבורה p4''': בחבורה זאת שני מרכזים לסיבובים ב-90 מעלות ומרכז אחד לסיבובים ב-180 מעלות. (הצילום הוא של תקרת קבר מצרי)
תמונה:Tile 4,4.svg|'''החבורה p4m''': קיימים שני מרכזים לסיבובים בכפולות של 90 מעלות וכן ארבעה צירים לשיקופים
תמונה:Wallpaper_group-p4g-2.jpg|'''החבורה p4g''':  קיימים שני מרכזים לסיבובים בכפולות של 90 מעלות אך רק שני צירים לשיקופים וכן שני צירים לשיקוף-גלישה (הצילום הוא של [[פורצלן]] [[סין (אזור)|סיני]])
תמונה:Alhambra-p3-closeup.jpg|'''החבורה p3''': מכילה שלושה מרכזים לסיבובים בכפולות של 120, אבל לא מכילה שיקופים או שיקוף גלישה (הצילום הוא של ציור קיר מ[[אלהמברה]] ב[[ספרד]])
תמונה:Tile 6,3.svg|'''החבורה p3m1''': מכילה 3 צירים לשיקופים, 3 מרכזים לסיבובים בכפולות של 120 מעלות שכל אחד מהם נמצא על ציר שיקוף ו-3 צירים של שיקוף-גלישה
תמונה:Wallpaper_group-p31m-2.jpg|'''החבורה p31m''': כמו החבורה הקודמת היא מכילה שלושה מרכזים לסיבובים מסדר שלישי (כפולות של 120 מעלות), ושלושה צירים של שיקופים אבל המרכז של לפחות אחד הסיבובים לא נמצא על ציר שיקוף. כמו כן ישנם שלושה צירים של שיקוף-גלישה (הצילום הוא של פורצלן סיני)
תמונה:Wallpaper_group-p6-2.jpg|'''החבורה p6''': מכילה סיבובים בכפולות של 60 מעלות בלבד (בתמונה קישוט [[ממלכת פרס|פרס]]י)
תמונה:Wallpaper_group-p6m-1.jpg|'''החבורה p6m''': מכילה סיבובים בכפולות של 60 וכן שיקופים ב-6 צירים (בתמונה ריצוף פרסי) </gallery>

==ריצוף באמצעות מצולעים קמורים ==
{| align=left
|-
| [[קובץ:Convex polygon illustration1.svg|ממוזער|150px|צורה קמורה - הישר המחבר כל שתי נקודות השייכות לצורה עובר בתוכה]]
| [[קובץ:Convex polygon illustration2.svg|ממוזער|150px|צורה שאיננה קמורה]]
|}
[[מצולע קמור]] הוא מצולע שעבורו הקו המחבר בין כל שתי נקודות עובר בתוך המצולע. כל משולש וכן כל מרובע קמורים יכולים לרצף את המישור. לעומת זאת, מצולע קמור בעל שבע צלעות או יותר לא יכול לרצף את המישור. עבור [[מחומש]]ים ו[[משושה|משושים]] הבעיה קצת יותר מסובכת, שכן, לדוגמה, בעזרת המחומש המשוכלל לא ניתן לרצף את המישור, אך עם זאת ישנם מחומשים אחרים שאיתם כן ניתן לרצף את המישור. נושא החיפוש אחר סוגים של מצולעים קמורים איתם ניתן לרצף את המישור העסיק מתמטיקאים רבים.

בשנת [[1968]] נראה היה שהבעיה נפתרה, מכיוון שהמתמטיקאי [[ריצ'רד קרשנר]]  טען בעבודת הדוקטורט שלו שהצליח לסווג את כל סוגי המחומשים והמשושים בעזרתם ניתן לרצף את המישור. עד לשנת 1968 היו ידועים רק 5 סוגים שונים של מחומשים כאלו וקרשנר הצליח למצוא 3 סוגים נוספים וכן "להוכיח" שאלו כל סוגי המחומשים האפשריים.  בשנת [[1975]] פרסם [[מרטין גרדנר]] בטור הידוע שלו ב[[סיינטיפיק אמריקן]] מאמר על בעיה זו, יחד עם התוצאות של קרשנר. אחד מקוראיו של גרדנר, [[מתכנת]] מחשבים בשם ריצ'רד ג'יימס השלישי, החליט לחפש אחר פתרון לחידה מבלי לקרוא את הפתרונות של קרשנר. הוא אכן הצליח למצוא מחומש המרצף את המישור ולהפתעתו המחומש לא נכלל ב-8 הסוגים שתוארו על ידי קרשנר. מכאן, שבהוכחה של קרשנר נפלה טעות והבעיה נפתחה מחדש. הנושא הצית את דמיונה של מרג'ורי רייס (Marjorie Rice), [[עקרת בית]] מפלורידה, שמצאה בריצופים שילוב בין אהבתה למתמטיקה ואהבתה לאמנות. רייס החלה לחקור בצורה שיטתית את סוגי הריצופים שפורסמו ולחפש אחר חדשים, ולצורך כך פיתחה לעצמה מעין אלגברה מיוחדת משלה. המאמצים שלה נשאו פרי ועד לשנת [[1977]] היא הצליחה למצוא 3 סוגים נוספים של מחומשים איתם ניתן לרצף את המישור וכן 60 סוגים של ריצופים בעזרת מחומשים שלא היו ידועים קודם לכן. בשנת [[1985]], סטודנט גרמני בשם רולף שטיין מצא סוג נוסף של מחומש המרצף את המישור, בשנת 2015 מצאו שלושה מתמטיקאים (Mann/McLoud/Von Derau) מ[[אוניברסיטת וושינגטון]] ב[[בות'אל]] סוג נוסף של מחומש. בסך הכל ידועים 15 סוגים של מחומשים קמורים שבאפשרותם לרצף את המישור.

==ריצופים לא מחזוריים==
===בעיות החלטה ואריחי ואנג===

השאלה האם יש קבוצה של אריחים בעזרתם ניתן לרצף את המישור, אך לא ניתן לרצפו בצורה מחזורית התעוררה לראשונה בהמשך ל[[על פתית השלג המשושה|בעיה ה-18]] מ-[[23 הבעיות של הילברט]], ופעם נוספת בשנת [[1961]] כאשר הלוגיקאי [[האו ואנג]] (Hao Wang) עסק ב'''[[בעיית הדומינו]]'''. בעיית הדומינו היא [[בעיית הכרעה]], הדורשת לזהות האם סט נתון של אריחים יכול לרצף את המישור או לא. ואנג הראה כי ישנו [[אלגוריתם]] הפותר בעיה זו, בתנאי שכל סט סופי של אריחים המרצף את המישור יכול לרצף אותו בצורה מחזורית. החל משנת [[1966]] החלו להתגלות סטים של אריחים שמהווים דוגמאות נגדיות: הם מסוגלים לרצף את המישור רק בצורה לא מחזורית, ואלו נקראים על שמו [[אריחי ואנג]]. קרובה לזה '''בעיית הגרעין''', השואלת אם אפשר לרצף את המישור בסט נתון של אריחים, כשמתחילים מתצורה מסוימת של האריחים.

[[קובץ:Robinson tiles.svg|שמאל|ממוזער|250px|אריחי רובינסון]]

בשנת 1966 הצליח רוברט ברגר (Robert Berger) למצוא סט שמכיל 20,426 אריחי ואנג. בהמשך הצליח ברגר לצמצם את מספר האריחים ל-104, והנס לוֹיכלי (Hans Läuchli) הצליח להוריד את המספר ל-40. בשנת [[1971]] הצליח רפאל רובינסון (Raphael M. Robinson) ליצור סט אריחי ואנג המכיל רק 6 אריחים. פרט להפרכת השערתו של ואנג, ברגר ורובינסון גם הציגו הוכחה לכך ש'''לא''' קיים אלגוריתם מהסוג המבוקש - כלומר, בעיית הדומינו היא בעיה '''[[כריעות|לא כריעה]]'''. ההוכחה מתבססת על ביצוע סימולציה של ריצת [[מכונת טיורינג]] באמצעות אריחי ואנג והתבססות על אי כריעות [[בעיית העצירה]]. בכך מודגם שבעיות ריצוף "מסתירות" בתוכן [[מודל חישובי]] לא טריוויאלי. בשנת [[1973]] חלה התקדמות גדולה כאשר הפיזיקאי [[רוג'ר פנרוז]] מצא 3 סטים נוספים של אריחים כאלו, כך שבכל סט ישנם שני אריחים בלבד. בשנת 1977 פרסם רוברט אמן (Robert Ammann) כמה סטים נוספים.

===[[ריצוף פנרוז]] ו[[גביש כמו-מחזורי|גבישים כמו-מחזוריים]]===
כאמור, ריצופי פנרוז (Penrose tiling) התגלו על ידי רוג'ר פנרוז בשנת 1973, ולמעשה הוא גילה מספר זוגות של אריחים כאלו בעזרתם ניתן לרצף את המישור אך לא בצורה מחזורית. בתמונות למטה ניתן למצוא את שני הזוגות המפורסמים ביותר, זוג המעוינים והזוג הקרוי "העפיפון והחץ". פנרוז סיפר שההשראה לריצופים האלו באה מתוך קריאת הספר ''Harmonis Mondis'' של [[יוהאנס קפלר]], שעסק בין היתר גם בריצופים.  

<gallery>
Penrose Rhombi BR.jpg|אריחי פנרוז המבוססים על מעוינים
pen0305c.gif|ריצוף שנבנה באמצעות אריחי פנרוז המעוינים
penrose star 3.svg|ריצוף 'כוכב' באמצעות אריחי פנרוז
Kile Dart.svg|העפיפון והחץ.
</gallery>

ריצוף הכוכב מראה כמה מהתכונות המרתקות של ריצופי פנרוז. ראשית ניתן לראות שלריצוף יש תכונה של [[דמיון עצמי]] - ניתן לבנות בעזרתו עותקים גדולים יותר ויותר של הכוכב. בנוסף לריצוף יש סימטריה לסיבובים מסדר חמישי, סיבובים ב 360/5=72 מעלות.  

ריצופי פנרוז זכו לפרסום גדול בעקבות כתבה שפרסם עליהם [[מרטין גרדנר]] בטורו, אך זכו לתהודה גדולה בהרבה בזכות הגילוי של [[גביש כמו-מחזורי|גבישים כמו-מחזוריים]] (Quasicrystals) בשנת [[1982]]. בשנת 1982 גילה פרופ' [[דן שכטמן]] מ[[הטכניון]] בישראל גביש בעל סימטריה [[עשרימון משוכלל|איקוסהדרלית]], כלומר בעל סימטריה לסיבובים ב-72 מעלות. שכטמן מדד תמונות רנטגן של גבישים המציגות סימטריה זו בצורה ברורה. בתחילה, נתקלה התגלית בחוסר אמון של הקהילה המדעית, כיוון שהאמונה הרווחת הייתה כי גבישים מחזוריים אינם יכולים להיות בעלי סימטריה מסוג זה. התגלית התפרסמה רק שנתיים מאוחר יותר, ב-[[1984]]. כחודש לאחר הפרסום, הוצעה [[תאוריה]] לפיה אפשר להסביר את התוצאות של שכטמן בעזרת ריצופי פנרוז. תגלית זאת חוללה סערה גדולה ומהפכה מחשבתית בתחום ה[[מצב מעובה|מצב המעובה]]. אחריה התגלו גבישים כמו-מחזוריים רבים נוספים. על תגלית זו זכה שכטמן ב[[פרס נובל לכימיה]] לשנת 2011.

===ריצוף ספירלי===
[[ספירלה]] יכולה לרצף את המישור, עם חלקים אשר זהים זה לזה או עם חלקים הולכים 
וגדלים{{הערה|1=[http://www.uwgb.edu/DutchS/symmetry/log-spir.htm Logarithmic Spiral Tilings] in Steven Dutch's homepage}}. 
המקרה הראשון מודגם באמצעות ריצוף וודרברג, שגילה [[האנס וודרברג]] (Voderberg) בשנת 1936, וניתן גם למצוא דוגמאות שלו בטבע, באבקני פרחים למשל.

המקרה השני של ריצוף ספירלי הוא חלקים [[דמיון (גאומטריה)|דומים]] זה לזה אך הולכים וגדלים, ריצוף מסוג זה נקרא ריצוף ספירלי לוגריתמי. דוגמאות לריצוף לוגריתמי ניתן למצוא בטבע, בקונכיית ה[[נאוטילוסיים|נאוטילוס]], כמו גם בריצופים מעשה אדם.{{הערה|1=[http://lcni.uoregon.edu/~dow/Geek_art/Logarithmic_spirals/Logarithmic_spirals_waves_tilings.html "Geek art" by Mark Dow]}} הגודל של כל אריח גדול מקודמו פי מספר קבוע, כך שהגדלים נתונים על [[סולם לוגריתמי]] ומכאן השם. ניתן להחשיב ריצוף ספירלי לוגריתמי גם כסוג של ריצוף בעל דמיון עצמי.
<gallery>
NautilusCutawayLogarithmicSpiral.jpg|קונכיית נאוטילוס חצויה לשניים, הממחישה ריצוף באמצעות ספירלה לוגריתמית
Voderberg.png|ריצוף וודרברג, ריצוף ספירלי באמצעות חלקים זהים
Goldener Schnitt Bluetenstand Sonnenblume.jpg|אבקני פרח המדגימים ריצוף ספירלי באמצעות חלקים זהים (מרובעים)
DSCF2274-Scala a Chiocciola-Vatican Museums-Vaticano-Italy-Castielli CC0-HQ.jpg|מדרגות ספירליות ב[[מוזיאון הוותיקן]]
</gallery>

==דמיון עצמי, פרקטלים וריצופים==
[[מרטין גרדנר]] נתן את השם [[רפטיל]] (Reptile) לצורות שניתן לבנות עותק מוגדל שלהן בעזרת מספר עותקים קטנים.  דוגמה פשוטה לכך היא הריבוע; בעזרת 4 ריבועים קטנים זהים ניתן לבנות ריבוע גדול יותר. כל צורה מהסוג הזה יכולה לשמש גם לריצוף של המישור כולו, על ידי חזרה על הפעולה מספר גדול של פעמים. באיור ניתן לראות כיצד באמצעות צורה הנקראת [[L טרומינו]] ניתן לבנות ריצוף של המישור בשלבים.
<gallery>
תמונה:L substitution tiling.svg|בעזרת 4 L טרומינוים ניתן לבנות עותק מוגדל של הצורה. כאשר חוזרים על פעולה זאת שוב ושוב מתקבל ריצוף של המישור
תמונה:SierpinskiTriangle.svg|[[משולש שרפינסקי]].
</gallery>
כמו בדוגמה של ה- L טרומינו ניתן לראות שריצופים הנבנים בשיטה זאת אינם בהכרח מחזוריים. בשיטה זאת ניתן לבנות ריצופים של המישור גם מ[[פרקטל]]ים. לדוגמה, [[משולש שרפינסקי]] הוא רפטיל ולכן ניתן לרצף את המישור כולו בעזרת משולשי שרפינסקי.

== הכללות  ==

אומרים שקבוצה חסומה ומדידה X '''מרצפת בהזזות''' את [[מרחב אוקלידי|המרחב האוקלידי]], אם קיימת קבוצה (דיסקרטית) L כך ש[[כמעט כל (מתמטיקה)|כמעט כל]] נקודה מופיעה בדיוק באחת ההזזות <math>X+\lambda</math> (עבור <math>\lambda \in L</math>). לתכונה זו יש קשר חזק לקיומו של בסיס אורתונורמלי של פונקציות אקספוננציאליות למרחב הפונקציות <math>\ L^2(X)</math>, שהוביל ל'''השערת פוגליד''' {{אנ|Fuglede conjecture}}, לפיה קבוצה X מרצפת את המרחב האוקלידי (בהזזות) [[אם ורק אם]] יש למרחב הפונקציות שלה בסיס כנ"ל. השערה זו הופרכה ב-[[2004]] על ידי [[טרנס טאו]] בממד 5 ומעלה (ואחר-כך גם בממדים 3 ו-4). כל גוף קמור המרצף את המרחב האוקלידי הוא [[פאון]]. אומרים שפאון הוא סימטרי לשיקוף אם הוא סימטרי ביחס לשיקוף סביב מרכז הכובד שלו. פאון קמור מרצף את המרחב (בהזזות) אם ורק אם (1) הוא סימטרי לשיקוף, (2) כל דופן שלו (כלומר פאה מקו-ממד 1) סימטרית לשיקוף, ו-(3) בכל מחלקת הזזה של פאה מקו-ממד 2 יש בדיוק 4 או 6 פאות (McMullen, 1980). בפרט, הפאונים הקמורים המרצפים (בהזזות) את המישור הם (עד כדי העתקה אפינית) המקבילית והמשושה הסימטרי בלבד; יש 5 פאונים קמורים המרצפים (בהזזות) את המרחב התלת-ממדי; ו-52 המרצפים (בהזזות) את המרחב ה-4 ממדי.

לריצופים יש חשיבות רבה ב[[גאומטריה]] (וב[[טופולוגיה אלגברית]]), בכך שהם מאפשרים ללמוד את הקבוצה המכוסה X על ידי תכונות של הכיסוי. לכיסוי משויכת [[חבורה (מבנה אלגברי)|חבורה]] G. במקרה שהחבורה [[פעולת חבורה|פועלת]] באופן [[פעולה טרנזיטיבית|טרנזיטיבי]], האריחים בהכרח חופפים זה לזה, ואפשר להתאים ביניהם לבין [[מרחב המנה]] <math>\ X/G</math>. קשרים אלה הם נקודת המוצא של תוכניתו של [[פליקס קליין]] מסוף המאה ה-19, ללמוד מרחבים גאומטריים דרך החבורות הפועלות עליהם, ולהפך.

==שעשועי מתמטיקה הקשורים בריצופים==

===פוליאומינו===
{{ערך מורחב|פוליאומינו}}
[[קובץ:Polyominoes.svg|שמאל|ממוזער|250px|ארבע משפחות הפוליאומינוים הראשונות]]
בשנת [[1953]] הציג [[סולומון גולומב]] ([[:en:Solomon W. Golomb|Solomon W. Golomb]]) את המונח [[פוליאומינו]] ([[:en:Polyomino|polyomino]]), המתאר "יצורים" (שלעיתים מכונים "Lattice Animals") המורכבים מחיבור של מספר ריבועים זה לזה (לאורך שפתיהם). הפוליאומינו מחולקים למשפחות לפי מספר הריבועים שהיצורים מכילים: המונומינו מכיל ריבוע אחד, ה[[דומינו]] בנוי משני ריבועים, הטרומינו משלושה (וישנם שני יצורים במשפחת הטרומינוים) הטטרומינו בנויים מארבעה ריבועים (וישנם 5 יצורים שונים כאלו, המככבים, יחד עם שיקופים שלהם, במשחק ה[[טטריס]]) וכך הלאה. בעקבות המצאת הפוליאומינו החל להיווצר גל גדול של חידות הקשורות אליהן ורובם קשורות לריצופים בעזרת הפוליאומינו. ה[[פורטל:מתמטיקה/חידה/23|חידה]] המפורסמת ביותר בהקשר זה היא האם ניתן לרצף [[לוח שחמט]] 8x8 שממנו הורידו את שתי הפינות הנגדיות, בעזרת חתיכות של דומינו בלבד.  שאלה שסביבה יש שעשועים אלו צורות מתוך הפוליאומינו מסוגלים לרצף את המישור כולו? חידות נוספות נוגעות לריצופים של צורות ספציפיות לדוגמה כיצד ניתן לרצף [[מלבן]] בגודל 6x10 בעזרת 12 צורות הפנטומינו?

הבעיות ה"כלליות" ביותר הקשורות בפוליאומינו כבר זכו לתוצאות שליליות; שאלת ריצוף המישור בידי קבוצה שרירותית של פוליאומינוים היא בלתי כריעה, בדומה לבעיית ריצוף המישור על ידי אריחי ואנג (הראשון שהראה זאת היה גולומב עצמו, שביצע רדוקציה מבעיית הריצוף של ואנג), ואילו הבעיה של ריצוף שטח נתון וסופי כלשהו בעזרת קבוצה שרירותית של פוליאומינו היא [[מחלקת סיבוכיות NPC|בעיה NP-שלמה]], ולכן לא סביר שיימצא לה פתרון יעיל חישובית.

===הכללות של פוליאומינו===
ישנם מספר הכללות של הרעיון של הפולינומינוים לצורות נוספות. 
*הפוליאמונדים (polyiamonds) הם צורות הבנויות מחיבור יחדיו של [[משולש שווה-צלעות|משולשים שווי צלעות]]:
<gallery>
Polyiamonds-1.svg| המוניאמונד (moniamond)
Polyiamonds-2.svg| הדיאמונד (diamond)
Polyiamonds-3.svg|הטריאמונדים (triamond)
Polyiamonds-4.svg|הטטרימונדים (tetriamonds)
Polyiamonds-5.png|הפנטיאמונדים
Polyiamonds-6.png|ההקסיאמונדים
</gallery>
*ההקסאומינוים: צורות הבנויות מחיבור יחדיו של [[משושה|משושים]] משוכללים. 
<gallery>
Meshushe-1.svg| המונוהקס (monohex)
Meshushe-2.svg| הדיהקס (Dihex)
Meshushe-3.svg|הטריהקסים
Tetracomb.svg|הטטרהקסים
Pentacomb.svg|הפנטהקסים
Hexacomb.svg|ההקסהקסים
</gallery>
*הפולידלתונים (polykites) בנויות מחיבור יחדיו של [[דלתון ריצוף|דלתוני ריצוף]].
[[קובץ:Polykites.jpg|שמאל|ממוזער|250px|הפולידלתונים: המונודלתון, שני הדידלתונים וארבעת הטרידלתונים]]
בכל הצורות הללו החידות הבסיסיות עוסקות בריצופים של המישור בעזרתן, וכן בריצופים של צורות ספציפיות בעזרתן.

==ראו גם==
* [[דלתון ריצוף]]
* [[פאזל]]
* [[בעיית איינשטיין]]
* [[מוטיב (אמנות בד)|מוטיב באמנות הבד]]

==לקריאה נוספת==
*Doris Schattschneider, "In Praise of Amateurs,"The Mathematical Gardner, D. Klarner (ed.). Belmont, CA: Wadsworth, 1981

== קישורים חיצוניים == 
{{ויקישיתוף בשורה}}
*[https://web.archive.org/web/20160813111016/http://britton.disted.camosun.bc.ca/jbperplex.htm כתבה של [[דוריס שאטשניידר]] בנושא]
*[https://archive.today/20121220005959/tessellations.home.comcast.net/~tessellations/ אתר הבית של מרג'ורי רייס]
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים|יישור=שמאל}}

{{בקרת זהויות}}

[[קטגוריה:אלמנטים אדריכליים]]
[[קטגוריה:בעיות שאינן ניתנות לחישוב]]
[[קטגוריה:סימטריה]]
[[קטגוריה:גאומטריה אוקלידית]]