הצגת המקור של הדף "חידות חיתוך והרכבה"

[[קובץ:Dudeney dis.jpg|שמאל|ממוזער|280px|[[חידה|חידת]] חיתוכים של [[הנרי ארנסט דודני]] מתוך ה[[ספר]] "Amusement in Mathematics". דודני מספר על [[נגרות|נגר]] שרוצה לחתוך את לוח העץ המופיע ב[[איור]] על-מנת להרכיבו מחדש וליצור לוח עץ [[ריבוע]]י שישמש כלוח של [[שולחן]], כל זאת מבלי שיצטרך לזרוק חומר, ובמספר החיתוכים הקטן ביותר האפשרי.]]
'''חידות חיתוך והרכבה''' הן [[חידה|חידות]] העוסקות בדרכים שבהן ניתן [[חיתוך (מכניקה)|לחתוך]] צורה למספר צורות אחרות, בדרכים שבהן ניתן לקחת חלקים ולחבר אותם יחד לצורה חדשה, וכן בחידות המשלבות את שתי הפעולות: כיצד ניתן לחתוך צורה נתונה על מנת להרכיב צורה אחרת מחלקיה.

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

חידות חיתוך והרכבה הן נדבך מרכזי בתחום של [[שעשועי מתמטיקה]], והן העסיקו [[חידונאי]]ם לאורך ההיסטוריה. לחידות אלו ישנן גם נגיעות לתחומים מרכזיים במתמטיקה; [[הבעיה השלישית של הילברט]], למשל, עוסקת בחיתוכים ובהרכבות.

==היסטוריה==
[[קובץ:SamLoyd SmartAlec.jpg|שמאל|ממוזער|250px|חידת חיתוכים של [[סם לויד]] מתוך ספר החידות "Cyclopedia of Puzzles". לויד שואל איך ניתן להפוך את הצורה שבאיור לריבוע, על ידי המספר הקטן ביותר של חיתוכים]]

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

עדויות נוספות לקיומן של חידות חיתוך ב[[העת העתיקה|עת העתיקה]] וב[[ימי הביניים]], מגיעות מתוך טקסטים מתמטיים שבהם החידות משמשות להוכחת [[משפט (מתמטיקה)|משפטים]] [[גאומטריה|גאומטריים]]. ב[[המאה הראשונה לפנה"ס|מאה הראשונה לפנה"ס]] הציג המתמטיקאי ה[[סין (אזור)|סיני]] ליו היו {{אנג|Liu Hui}} הוכחה של [[משפט פיתגורס]] המבוססת על חיתוך והרכבה, הוכחה ששימשה השראה להמצאת ה[[טנגרם]]. ב[[המאה ה-5|מאה ה-5]] הציג המתמטיקאי ההודי [[אריאבהטה]] הוכחה לאותו משפט המבוססת על חיתוכים, הוכחה הנחשבת לפשוטה יותר מזו המופיעה בספר "[[יסודות (ספר)|יסודות]]" של [[אוקלידס]]. גם בטקסטים של מתמטיקאים מוסלמים מימי הביניים, בעיקר בפירושים וביאורים של הספר "יסודות", מופיעים מחקרים שונים על חידות חיתוך.

ספר של הואנג פו-סו משנת [[1193]] מתאר מערכת של שבעה שולחנות ריבועיים הקרויים 'שולחנות סעודה' (banquet tables). ספרו נחשב לספר הראשון בסין העוסק ב[[ריהוט]], אך הספר כולל גם 76 שרטוטים לדרכים שונות שבהן ניתן לחבר את השולחנות יחדיו. בשנת [[1617]] פרסם קו שן (Ko Shan) מערכת של שולחנות סלון, שזכתה לכינוי 'כנפי הפרפר'. המערכת מכילה שולחנות שלהם צורות של משולשים ומרובעים, שאותם ניתן לחבר יחד על מנת ליצור מגוון של צורות.

ספר החידות הראשון המוקדש לחידות הרכבה התפרסם ב[[יפן]] בשנת [[1742]]. מחברו גרנרייקן (Granreiken) קרא לספר 'שבע חתיכות החוכמה של סיי שונגון', והספר הכיל 42 חידות ופתרונן. 3 חידות הרכבה נוספות ראו אור ביפן עד תום המאה ה-18.

חידת ההרכבה המפורסמת ביותר, ה[[טנגרם]], הומצאה בסין בתקופת שלטונו של [[צ'יאה צ'ינג]] (Chia chi'ng - 1796 - 1820). ממציא החידה פרסם אותה בספרון, עליו הוא חתם ב[[שם עט|שם העט]] יאנג צ'ו צ'ו שי (Yang cho chu shih). כל עותקיו של הספרון המקורי אבדו. הספר העתיק ביותר של החידה שעדיין בנמצא נכתב על ידי סנג הסיאנג קו (Sang hsiang k'o), התפרסם בשנת [[1813]], והכיל 334 חידות טנגרם. הטקסט זכה להצלחה גדולה בסין, ותוך שנים ספורות תורגם והופץ ב[[אירופה]] וב[[ארצות הברית]].

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

[[קובץ:Polyominoes.svg|שמאל|ממוזער|250px|ה[[פוליאומינו]]ים]]

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

ב-[[1931]] עסק [[אלפרד טרסקי]] ב"מרחק-הפירוק" <math>\ \sigma(U,V)</math> של שתי צורות U ו-V, שהוא המספר הקטן ביותר של מצולעים, חופפים בזוגות, שאליהם אפשר לפרק את הצורות
{{הערה|ירדן (ראו ההערה הבאה) מייחס את ההגדרה של מרחק הפירוק לאדולף לינדנבאום, שחקר אותו יחד עם טרסקי.}}.
טרסקי העיר שהפונקציה מקיימת את הגרסה הכפלית של [[אי-שוויון המשולש]]: <math>\ \sigma(W,V) \leq \sigma(W,U)\cdot \sigma(U,V)</math>, והציע לחקור את הפונקציה <math>\ \tau(x)=\sigma(S,R_x)</math> המודדת את המרחק מריבוע יחידה S למלבן שצלעותיו <math>\ x</math> ו- <math>\ 1/x</math>{{הערה|Alfred Tarski, Młody Matematyk 1 (1931), 37-44. תורגם לעברית על ידי [[דב ירדן]] ופורסם ב[[רבעון למתמטיקה]], כרך 5 (תשי"א-תשי"ב), עמ' 32–38.}}.

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

בשנת 1964 פרסם הרי לינדגרן (Harry Lindgren), מהנדס אנגלי שהיגר לאוסטרליה, את הספר "Geometric Dissections" שהפך לספר העיון המרכזי בנושא. הספר הכיל עשרות חיתוכים חדשים פרי עטו וכלל שיאים רבים (מספר מינימלי של חלקים הדרושים לחתוך צורה אחת ולהרכיב צורה אחרת), שחלקם נשברו מאז. בעקבות טור של [[מרטין גרדנר]] על חידות החיתוך של דודני ולינדגרן, עלתה מידת הפופולריות של חידות אלה, והמשיכו להתגלות חיתוכים רבים ומגוונים. מבין העוסקים בתחום כיום, הפוריים ביותר הם [[גרג פרדריקסון]] (Greg Frederickson), פרופסור ל[[מדעי המחשב]] מ[[אוניברסיטת פרדו]]) ו[[גווין תאובלד]]. ספרו של פרדריקסון, "Dissection Plane and Fancy", הוא כיום המקור הטוב ביותר למידע בתחום, וכן אתר האינטרנט של גווין תאובלד.

==חידות חיתוך מפורסמות==
===הסטומכיון===
[[קובץ:Stomachion.JPG|שמאל|200px|הסטומכיון]]
החידה הנראית בתמונה משמאל נקראת "סטומכיון" או "אוסטומכיון" (Οστομάχιον, "כאב בטן" ב[[יוונית עתיקה|יוונית]]) והיא מורכבת מ-14 חלקים שאיתם ניתן, בין השאר, להרכיב ריבוע. החידה מכונה לעיתים "החידה המכנית (פאזל) העתיקה בעולם". בימי קדם היא נקראה "קופסת ארכימדס". החידה תוארה ב[[המאה הרביעית|מאה הרביעית]] על ידי המשורר הרומי [[אוסוניוס]], שציין שאפשר ליצור מ-14 החלקים אלפי צורות של אנשים וחיות. עד ראשית [[המאה ה-20]] לא היה ידוע מה בדיוק הייתה החידה, ומה בדיוק היה העניין של ארכימדס בחידה. רמזים ראשונים לכך הגיעו בשנת [[1881]], כאשר התגלה בגרמניה טקסט ערבי ובו ציטוטים מתוך ספר של ארכימדס בשם "הסטומכיון" - ספר שלא היה מוכר לעולם המדעי עד לאותה עת. בשנת 1906 התגלה אותו [[ספר אבוד]] על ידי [[יוהאן לודוויג הייברג]].

הייברג מצא ב[[מנזר]] ב[[קונסטנטינופול]] קובץ ספרים של ארכימדס הקרוי "[[קודקס C]]". עד לאותה שנה היו מוכרים רק שני קובצי ספרים של ארכימדס ([[קודקס A]] ו[[קודקס B]]), אך עקבותיהם אבדו, ונותרו רק תיאורים שלהם בספרים מאוחרים יותר. הטקסט שגילה הייברג היה העתק הקודקס השלישי של ארכימדס שנעשה ב[[המאה העשירית|מאה העשירית]], אך היה בצורה של [[פלימפססט]]: בשנת [[1229]], כנראה בשל מחסור בנייר, נזיר כלשהו מחק את הכיתוב מעל המגילה שעליה נכתבו ספריו של ארכימדס, ורשם מעליהם סידור תפילה. בשנת 1998 הפלימפססט צץ מחדש כאשר הוצע במכירה פומבית (ונקנה תמורת שני מיליון דולר); מאז ניתנה לחוקרים גישה אליו במטרה לפענח את ספריו המקוריים של ארכימדס. בין הספרים של ארכימדס שהתגלו בקודקס היו שלושה ספרים שלא היו מוכרים לפני 1996; אחד מהם הוא הסטומכיון.

לרוע המזל, מצבו הפיזי של [[הפלימפססט של ארכימדס]] הוא בכי רע; בפרט, דפי הספר של הסטומכיון קשים מאוד לקריאה. מניתוח שלהם סבורים כיום החוקרים שארכימדס חקר את הבעיה ה[[קומבינטוריקה|קומבינטורית]] של מספר הדרכים השונות שבהן ניתן להרכיב ריבוע מתוך אותם 14 חלקים (אכן, ישנם <math>\ 17152=2^8\cdot 67</math> פתרונות לחידה זו). זאת, יותר מ-1,700 שנה לפני המצאת הקומבינטוריקה.

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

שנים אחדות לאחר יציאתם לאור של ספרי הטנגרם בסין הם זכו לתרגומים שהתפרסמו בארצות הברית ובאירופה, ובעקבותיהם זכה המשחק להצלחה רבה גם במערב. בין השאר הסופר [[לואיס קרול]], מחבר [[הרפתקאות אליס בארץ הפלאות]] (וחידונאי מוכשר), וכן הפיזיקאי האנגלי [[מייקל פאראדיי]] היו חובבי טנגרם ואף המציאו מספר חידות טנגרם משלהם. גם ברשותו של [[נפוליאון בונפרטה]] היה סט של טנגרם, כולל ספר הוראות, בתקופת מאסרו ב[[סנט הלנה]].
<div style="text-align: center;">
<gallery>
תמונה:Make a tangram.svg| חתיכות ה[[טנגרם]] מרכיבות [[ריבוע]]
תמונה:Tangram-man.svg| חתיכות טנגרם מרכיבות איש
</gallery>
</div>

===חידת מוכר הסדקית===
[[קובץ:Haberdasher solution.jpg|שמאל|300px|פתרון חידת מוכר הסדקית מתוך ספרו של דודני "The Canterbury Puzzles"]]
חידה זאת היא החידה המפורסמת ביותר בין אלו שמטרתן לחתוך צורה אחת למספר הקטן ביותר של חתיכות, שמהן ניתן להרכיב צורה אחרת; במקרה זה, המטרה היא להפוך [[משולש שווה-צלעות]] ל[[ריבוע]]. את החידה פרסם לראשונה [[הנרי ארנסט דודני]] בעיתון "[[Daily Mail]]", ולאחר מכן כלל אותה בספר החידות שלו, "The Canterbury Tales". בספר זה (השואב השראה מ[[סיפורי קנטרברי]] של [[ג'פרי צ'וסר]]) קבוצת נוודים נפגשת בקנטרברי והם מחליפים ביניהם חידות. כאשר מגיע תורו של מוכר ה[[סדקית]] (באנגלית: Haberdasher), הוא שולף פיסת בד בצורת משולש שווה-צלעות וזוג מספריים, ומבקש מחבריו למצוא דרך לחתוך את חתיכת הבד לארבעה חלקים בלבד ואז להרכיב מהם ריבוע.

[[קובץ:Haberdasher strips.svg|ימין|250px]]

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

[[קובץ:Hinged haberdasher.svg|מרכז|ממוזער|550px|הפתרון של דודני לחידת מוכר הסדקית מיוחד בכך שניתן לחבר את החלקים כולם יחד בעזרת צירים, כך שכאשר מסובבים את החלקים לכיוון אחד נוצר ריבוע, וכאשר מסובבים אותם לכיוון ההפוך נוצר משולש]]
{{-}}

==חידות של חיתוך בלבד==
===חיתוך לצורות שוות שטח===

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

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

===חיתוך לצורות זהות ולצורות דומות===
אף שניתן לחלק כל צורה ל-n צורות שוות שטח, לא כל צורה ניתן לחלק ל-n צורות זהות בצורתן, וישנן חידות רבות הדורשות זאת. באיור ניתן לראות כיצד ניתן לחלק את הצורה הנקראת "[[L טרומינו]]" ל-3 ול-4 חלקים זהים. חלוקת L טרומינו ל-2 חלקים זהים היא פשוטה יחסית; מיכאל בילר הוכיח שאת ה-L טרומינו ניתן לחלק גם לכל מספר לא ראשוני של חלקים זהים{{הערה|Journal of Recreational Mathematics, vol 24 page 64, 1992 ראו גם [[פורטל:מתמטיקה/חידה/56]]}}. לגבי [[מספר ראשוני|מספרים ראשוניים]] הגדולים מ-3, לא התגלו עדיין חלוקות כאלו, אך גם לא הוכח שהן אינן אפשריות.

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

<div style="text-align: center;">
<gallery>
תמונה:L-tromino-dis-2.svg| חיתוך של ה-L טרומינו ל-3 חלקים זהים
תמונה:L-tromino-dissection.svg| חיתוך של ה-L טרומינו ל-4 חלקים זהים (שכל אחד מהם הוא L טרומינו בעצמו)
תמונה:Self-build1.svg|[[דלתון ריצוף]] המורכב מחמישה חלקים הדומים לדלתון השלם (אך לא זהים)
</gallery>
</div>

===חידות אלגבריות===

ישנן חידות רבות העוסקות בצד האלגברי של חיתוכים. חידה מפורסמת היא: מהו המספר הגדול ביותר של חלקים שאליו ניתן לחלק מעגל, בעזרת שישה חיתוכים של קווים ישרים בלבד?

חידה נוספת שואלת מהו המספר הקטן ביותר של חיתוכים הנדרשים על מנת לפרק חפיסת [[שוקולד]] בת 6x8 קוביות לקוביות בודדות{{הערה|ראו [[פורטל:מתמטיקה/חידה/24]]}}.

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

בשנת 1902 הציג [[הנרי ארנסט דודני]] חידה, לה קרא "תיבתה של הגברת איזבל", שמטרת לבנות ריבוע מחלקים שכוללים ריבועים קטנים יותר ומלבן. ב-[[1914]] הציג [[סם לויד]] חידה שבה יש להרכיב ריבוע מאוסף של ריבועים קטנים יותר. הפתרון שמצא לויד כולל ריבועים בגדלים: 7,6,6,4,3,3,2,2,2,1,1 - ולבנייה כזאת קוראים היום "ריבוע לא מושלם של הריבוע" - "לא מושלם" מכיוון שהוא כולל ריבועים הזהים זה לזה. [[מקס דן]] הוכיח בשנת 1903 שניתן לרבע מלבן רק אם ה[[יחס (בין מספרים)|יחס]] בין אורכי הצלעות שלו הוא [[מספר רציונלי|רציונלי]]. אחת השאלות המסקרנות ביותר שעלתה מהעבודות הללו היא האם ניתן "לרבע את הריבוע", כלומר האם ניתן לחלק את הריבוע לריבועים קטנים יותר, שאף אחד מהם לא זהה לאחר. הראשון לפתור את השאלה היה רולנד ספרג (Roland Sprague), שהצליח לחלק ריבוע ל-55 ריבועים קטנים יותר. במקביל אליו, הצליחו ארבעה סטודנטים מ[[אוניברסיטת קיימברידג']] לחלק את הריבוע ל-39 ריבועים קטנים יותר, ותוך כדי כך הגיעו לתובנות רבות הקשורות ל[[תאוריה]] שמאחורי החידה.

[[קובץ:Squaring the square.svg|שמאל|ממוזער|250px|חלוקת הריבוע ל-21 ריבועים קטנים (Duijvestijn)]]

ארבעת הסטודנטים: רולנד ברוקס, ארתור סטון, סדריק סמית וויליאם טוט, החלו בשנת 1936 לחקור באופן שיטתי את בעיית הריבוע של הריבוע ושל מלבנים. פריצת הדרך הגדולה בפתרון החידה הגיעה הודות לגילוי של אנלוגיה בין חיתוך למרובעים לבין מעגלים חשמליים. האנלוגיה התגלתה על ידי אחד מהרביעייה, סדריק סמית, ושלושת האחרים מיד נתנו לה את שמה המוכר כיום, "דיאגרמות סמית".

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

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

האנלוגיה למעגלים חשמליים איפשרה לקחת את תורת ניתוח המעגלים החשמליים ולהשתמש בה כדי לחקור ריבוע של מלבנים, וכך במהרה הצליחו חברי הרביעייה לרבע עוד ועוד מלבנים - ולבסוף גם לרבע את הריבוע עצמו. על בסיס העבודה הזאת בדק דאובסטיין בשנת 1978 את כל ה[[גרף מכוון|גרפים המכוונים]] עד סדר 21 (כלומר כל הגרפים המכילים 21 קודקודים או פחות, גרפים המתרגמים למלבנים המחולקים ל-21 ריבועים או פחות), והראה שיש שיטה לחלק ריבוע ל-21 ריבועים שאינם זהים, וכן שאין חלוקה למספר קטן יותר של ריבועים לא זהים (Duijvestijn){{הערה|Journal of Combinatorial Theory, Series B vol 25. page 240, 1978
[http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B6WHT-4D7K8W8-Y7-1&_cdi=6859&_user=46001&_orig=search&_coverDate=10%2F31%2F1978&_sk=999749997&view=c&wchp=dGLzVlz-zSkzk&md5=a569c8d7ddd8b2ab5462e93fb5bc779f&ie=/sdarticle.pdf קישור הדורש מנוי]}}.

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

{{-}}

==חידות הרכבה בלבד==

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

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

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

<div style="text-align: center;">
<gallery>
תמונה:Tile 6,3.svg| ריצוף בעזרת משושים בלבד
תמונה:Tile 3464.svg| דוגמה לריצוף אחיד
תמונה:Penrose Rhombi BR.jpg|אריחי פנרוז
תמונה:Pen0305c.gif|ריצוף באמצעות צורות פנרוז
</gallery>
</div>

===פוליאומינו===

{{ערך מורחב|פוליאומינו}}
[[קובץ:Hexominoes.svg|שמאל|ממוזער|200px|משפחת ההקסומינו - ניתן לבנותם מחיבור של שישה ריבועים יחד (35 חברים במשפחה)]]
בשנת [[1953]] הציג [[סולומון גולומב]] את המונח [[פוליאומינו]], המתאר משטחים מישוריים (לעיתים מכונים "Lattice Animals") המורכבים מחיבור של מספר ריבועים זה לזה (לאורך שפותיהם). הפוליאומינו מחולקים למשפחות לפי מספר הריבועים שהם מכילים: המונומינו מכיל ריבוע אחד, ה[[דומינו]] בנוי משני ריבועים, הטרומינו משלושה (ישנם שני סוגים במשפחת הטרומינו) הטטרומינו בנויים מארבעה ריבועים (ישנם 5 יצורים שונים כאלו, המככבים, יחד עם [[שיקוף (מתמטיקה)|שיקופים]] שלהם, במשחק ה[[טטריס]]) וכן הלאה. המצאת הפוליאומינו הביאה מיד לגל גדול של יצירת חידות הקשורות להרכבה ולריצוף.

חידה קלאסית היא לרצף [[לוח שחמט]], (מורכב מ-8 שורות ו-8 עמודות, סך הכל 64 ריבועים) שממנו נחתכו הפינה הימנית התחתונה והשמאלית העליונה על ידי 31 אריחי דומינו. קל להראות שהמשימה בלתי אפשרית לביצוע.

דוגמה לסוג חידות נוסף היא החידה אלו מלבנים ניתן להרכיב מחיבור יחד של כל 12 הפנטומינו, ובכמה אפשרויות שונות אפשר ליצור כל מלבן?{{הערה|דוגמה נוספת לחידת הרכבת פוליאומינו קלאסית ניתן למצוא [[פורטל:מתמטיקה/חידה/55|כאן]].}}

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

===הרכבות תלת־ממדיות===
במהלך הרצאה על [[מכניקת קוונטים]] שנתן [[ורנר הייזנברג]], המציא [[פיט היין]], משורר ומדען דני (הידוע גם כממציא של משחק הלוח [[הקס (משחק)|הקס]]) שעשוע המהווה הכללה של הרכבות פוליאומינו לתלת-ממד. הרעיון של היין היה, בדומה לפוליאומינו, לבנות משפחות של גופים תלת-ממדיים הבנויים מחיבור יחדיו של קוביות שלהם קוראים "פוליקוביות". כך לדוגמה ישנם שתי תלת-קוביות - שני סוגים של גופים הבנויים מחיבור יחדיו של שלוש קוביות, ו-7 טטרקוביות: 7 צורות הבנויות מחיבור יחדיו של ארבע קוביות. היין גילה שניתן לבנות קובייה בגודל 3x3x3 מ-7 יחידות של פוליקוביות (6 טטרקוביות ותלת-קובייה אחת). הוא נתן לחידה את השם "[[קוביית סומה]]"<ref>{{קישור כללי|כתובת=https://www.britannica.com/biography/Piet-Hein|הכותב=|כותרת=Piet Hein Danish mathematician|אתר=Encyclopedia Britanica|תאריך=|שפה=אנגלית|תאריך_וידוא=5.8.2020}}</ref>, על שם הסם הבדיוני, מעורר התענוגות, מהספר "[[עולם חדש מופלא]]" של [[אלדוס האקסלי]] - משום שהמשחק, על פי היין ואחרים, הוא ממכר ומהנה במיוחד.

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

<div style="text-align: center;">
<gallery>
תמונה:Soma-cube-disassembled.jpg|קוביית סומה מפורקת
תמונה:Soma-cube-assembled.jpg|קוביית סומה מורכבת
תמונה:Bedlam cube.JPG|קוביית בדלם מורכבת
תמונה:Bedlam elements.JPG|קוביית בדלם מפורקת
תמונה:SixPartWoodKnot.jpg|דוגמה לחידת בור
</gallery>
</div>

==הפיכת צורה אחת לאחרת==

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

{| class="wikitable" border="1"
|+ איך להפוך כל מצולע למצולע אחר (שווה שטח) באמצעות חיתוך והרכבה
! שלב !! הסבר !! תמונה
|-
| 1) למצוא חיתוך המאפשר להפוך משולש ל[[מלבן]] || מציירים קו מקביל לבסיס המשולש במחצית גובהו, מורידים אנך מהקודקוד שממול אל אותו קו, ומשלושת החלקים שמתקבלים ניתן להרכיב מלבן. || [[קובץ:Tri2rect.svg|200px]]
|- style="background-color: #EFEFEF;"
|2) להפוך כל מלבן שהוא לכל מלבן אחר (שווה שטח) || החיתוך שבאיור מראה כיצד להפוך מלבן אחד לאחר, במקרים שאורך הצלע במלבן המקורי היא פחות מכפולה מאורך הצלע במלבן הדרוש. אחרת, ניתן לבצע את החיתוך בשני שלבים, כאשר בשלב הראשון חוצים את המלבן לשניים ומחברים את שני החלקים זה מעל זה. || [[קובץ:Rect2Rect.svg|200px]]
|-
|3) לחבר כל מספר שהוא של מלבנים לריבוע אחד || כל אחד מהמלבנים הופכים למלבן שאורך אחת הצלעות שלו היא כאורך הריבוע הרצוי, לבסוף מניחים את המלבנים זה לצד זה || [[קובץ:Rects2sqr.svg|250px]]

|- style="background-color: #EFEFEF;"
|4) להפוך כל מצולע לריבוע  || מבצעים [[טריאנגולציה (גאומטריה)|טריאנגולציה]] (כלומר חלוקה למשולשים) על המצולע, למשל על ידי מתיחת [[אלכסון|אלכסונים]] בין אחד הקודקודים לכל שאר הקודקודים (אם המצולע [[מצולע קמור|קמור]]). כל אחד מהמשולשים הופך למלבן (בהסתמך על הצעד הראשון), ועתה מחברים את המלבנים כולם לריבוע לפי צעד 3 || [[קובץ:Polygon2rect.svg|250px]]
|-
|5) להפוך כל מצולע לכל מצולע אחר || כל מצולע ניתן להפוך לריבוע (לפי שלב 4), ולכן גם אפשר להפוך ריבוע לכל מצולע. מכאן שכדי להפוך מצולע א' למצולע ב', הופכים את מצולע א' לריבוע, ואת הריבוע למצולע ב' || [[קובץ:Poly2poly.svg|250px]]
|}

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

===חיתוכים מינימליים===

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

===שיטות ליצירת חיתוכים===

מרבית החיתוכים הידועים היום התגלו על בסיס של מספר קטן מאוד של שיטות בנייה. חלק גדול מהקסם של חידות החיתוך הוא בכך שבאמצעים פשוטים ניתן להגיע לחיתוכים הנראים כמורכבים.

להלן דוגמאות לכמה מהשיטות הבסיסיות ליצירת חיתוכים:
*'''שיטת ההחלקה (Slide Method)''': [[קובץ:ThreeSqrs2One.svg|200px]] בשיטה זאת מציירים קו כלשהו המחלק את הצורה לשניים, ובשלב השני מחליקים את הצורות על בסיס הקו. בתמונה ניתן לראות חיתוך המאפשר לעבור משלושה ריבועים לריבוע אחד על בסיס שיטת ההחלקה, חיתוך שהמציא ה. פריגל ([[ריבועי שילוש]] {{אנ|square trisection}}).
*'''שיטת המדרגות''': [[קובץ:SmartAlecSolution.svg|200px]] שיטה זאת דומה לשיטת ההחלקה, אך במקום להחליק את הצורות על [[ישר|קו ישר]], מורידים את הצורות במורד מדרגות. באיור ניתן לראות את הפתרון לחידה המופיעה באיור למעלה (סם לויד נתו לה את השם "חידת החוכמולוג", Smart Alec puzzle) המתבסס על שיטת המדרגות.
*'''שיטת הריצופים''': [[קובץ:GreekCross2Square.svg|שמאל|250px]] אחת השיטות הפוריות ביותר ביצירת חיתוכים מתבססת על [[ריצוף של המישור|ריצופים]]. בשיטה זו, על מנת ליצור חיתוך ההופך צורה אחת לאחרת, יוצרים ריצוף של הצורה הראשונה, ריצוף של הצורה השנייה ומהנחה של הריצופים אחד על שני מקבלים את החיתוך הדרוש. אחד היתרונות בשיטה זו הוא שעל ידי החלקה וסיבוב של הריצופים, זה יחסית לזה, ניתן לקבל מגוון רחב של ריצופים, ובפרט, ניתן לחפש אחר חיתוכים הדורשים מספר מינימלי של חלקים. בתמונה ניתן לראות את הדרך שבה הרי לינדגרן בנה את החיתוך המאפשר להפוך [[צלב יווני]] לריבוע - דרך המבוססת על ריצופים.

===רשימת השיאים===

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

<div style="text-align: center;">
{| class="wikitable" border="1"
! || [[קובץ:Polygons_3.svg]] || [[קובץ:Polygons4.svg]] || [[קובץ:Polygons5.svg]] || [[קובץ:Polygons6.svg]] || [[קובץ:Polygons7.svg]] || [[קובץ:Polygons8.svg]] || [[קובץ:Pentagram dis.svg]] || [[קובץ: Hexagram dis.svg]]
|-
| [[קובץ:Polygons4.svg]] || 4 || || || || || || ||
|-
| [[קובץ:Polygons5.svg]]|| 6 || 6 || || || || || ||
|-
| [[קובץ:Polygons6.svg]] || 5|| 5 || 7 || || || || ||
|-
| [[קובץ:Polygons7.svg]] || 8|| 7 || 9 ||8  || || || ||
|-
| [[קובץ:Polygons8.svg]] || 7|| 5 || 9 || 8 ||11 || || ||
|-
| [[קובץ:Pentagram dis.svg]] || 7 || 7 ||9||9||11||10 || ||
|-
| [[קובץ: Hexagram dis.svg]]||5||5||8||6||9||8||10 ||
|-
 |[[קובץ: Ps GreekCross.svg]] || 5 ||4||7||7||9||9||10||8
|}
</div>

==הוכחות גאומטריות המסתמכות על חיתוכים==
===הוכחות למשפט פיתגורס===
[[קובץ:Pythagorean theorem rearrangement.svg|שמאל|ממוזער|הוכחת משפט פיתגורס באמצעות חיתוכים|150px]]

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

[[קובץ:Pythag anim.gif|250px|ממוזער|ימין|הוכחתו של המתמטיקאי ההודי [[אריאבהטה]]]]
למתמטיקאי ההודי [[אריאבהטה]] (שחי ב[[המאה ה-5|מאה ה-5]] וידוע בעיקר בזכות המצאת [[השיטה העשרונית]]) מיוחסת אחת ההוכחות היפות ביותר של המשפט, הוכחה שמקובלת בספרי לימוד גם כיום ומבוססת על חיתוכים. את ההוכחה ניתן לראות באנימציה שמימין: נבנה ארבעה משולשים ישרי זווית שאורך הניצבים שלהם הוא <math>\ a,b</math> ואורך היתר <math>\ c</math>. כאשר מחברים אותם יחד באופן הנראה בשלב הראשון, מתקבל ריבוע גדול שאורך הצלע שלו הוא <math>\ a+b</math>, ושני ריבועים שחורים בעלי צלעות <math>\ a</math> ו-<math>\ b</math> ששטחם הכולל הוא <math>\ a^2+b^2</math>. כעת נסדר את המשולשים כפי הנראה בחלק השני של האנימציה, שוב מתקבל ריבוע גדול בעל צלע באורך <math>\ a+b</math>, ולכן השטח של החלק השחור בשלב זה צריך להיות זהה לשטח השחור בשלב הקודם, אלא שהשטח השחור כעת הוא ריבוע יחיד שאורך צלעו הוא <math>\ c</math>, ולכן השטח של החלק השחור הוא <math>c^{2}</math>, ומכאן שהוכח משפט פיתגורס.
[[קובץ:Pythagoras-2a.gif|ימין|150px]]
[[קובץ:Chinese pythagoras.jpg|שמאל|ממוזער|250px|הוכחת משפט פיתגורס מתוך הספר הסיני "Chou Pei Suan Ching"]]

הוכחה עתיקה עוד יותר למשפט ניתן למצוא בטקסט סיני בשם "Chou Pei Suan Ching" המתוארך בין 500 ל-200 לפנה"ס. בתמונה מופיע העמוד בטקסט שבו משפט פיתגורס, וניתן לראות שמידותיו של המשולש באיור הם ה[[שלשה פיתגוראית|שלשה הפיתגוראית]] 3,4,5. באנימציה ניתן לראות פעם נוספת כיצד בעזרת חיתוך לארבעה משולשים ישרי זווית וסידור החלקים מחדש, מתקבלת הוכחה של המשפט.

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

===הוכחות אלגבריות===
[[קובץ:TriangleNumbers.svg|שמאל|170px]]
[[קובץ:SquareNumbers.svg|שמאל|170px]]
בשעשועי מתמטיקה אוהבים להראות הוכחות גאומטריות פשוטות לזהויות ב[[אלגברה]]. דוגמה להוכחה כזאת נוגעת לקשר שבין [[מספר משולשי|מספרים משולשים]] ו[[מספר ריבועי|מספרים מרובעים]]. מספרים משולשים, הם ה[[סדרה (מתמטיקה)|סדרה]] 1,3,6,10,15... שבה כל מספר, <math>\ T_n</math> הוא סכום המספרים בין 1 ל-n. הם נקראים כך משום שבעזרת מספרים אלו של כדורים ניתן לבנות משולשים (ראו איור).
<div style="text-align: center;">
<math>
T_n= 1+2+3+ \dotsb +(n-1)+n = \frac{n(n+1)}{2}
</math>
</div>

{{ש}}
[[קובץ:Square number 25 as sum of two triangular numbers.svg|ימין|70px]]
מספרים ריבועיים <math>\ S_n</math>, הם המספרים שבעזרתם ניתן לבנות ריבועים, והנוסחה עבורם היא
<math>\ S_n=n^2</math>.

באמצעות הרכבה פשוטה של ריבוע משני משולשים קל להיווכח שמתקיימת הזהות האלגברית:
<math>\ S_n= T_n+T_{n-1}</math>.

{{ש}}{{ש}}

===הוכחות שקריות===

{{ערך מורחב|הוכחה שגויה}}
[[קובץ:Loyd64-65-dis b.svg|שמאל|ממוזער|250px]]
בכל הבעיות של חיתוך צורה אחת והרכבתה לבנייה של צורה אחרת, השטח של הצורה המקורית חייב להיות שווה לשטחה של הצורה החדשה ("[[חוק שימור]] השטח"). עם זאת, ישנם חיתוכים רבים שבהם לכאורה חוק זה לא מתקיים. בספרות שעשועי המתמטיקה מתייחסים לחיתוכים אלו בתור קסמים, או פרדוקסים - כלומר הוכחות הסותרות את חוק שימור השטח, אך בחינה מדוקדקת של החיתוכים מראה שלמעשה אלו הוכחות שקריות: הם מבוססות על טעות (קשה לזיהוי) בחישוב השטחים.

באיור ניתן לראות דוגמה קלאסית לחיתוכים מסוג זה, שהומצאה על ידי [[סם לויד]]. החיתוך מראה כיצד לחלק ריבוע 8x8 לארבעה חלקים (שני משולשים ושני [[טרפז]]ים) שמהם ניתן לכאורה להרכיב מלבן בגודל 5x13. אולם, שטח הריבוע הוא 64 ושטח המלבן הוא 65 - ומכאן שעל ידי חיתוך והרכבה הצלחנו לכאורה להגדיל את שטח הצורה. הטעות בחיתוך היא שהשיפוע של המשולש ושל הטרפז אינם זהים. השיפוע של המשולש הוא 3/8=0.375 ואילו שיפוע הטרפז הוא 2/5=0.4. מכאן שהטרפז והמשולש לא מתחברים באופן חלק כדי ליצור את המלבן. באיור ניתן לראות גם הרכבה נוספת של אותם חיתוכים ממש, שנתגלתה על ידי בנו של סם לויד, היוצרת צורה שלכאורה השטח שלה הוא 63.

אחד הדברים המעניינים בחיתוכים אלו הוא הקשר ביניהם לבין [[סדרת פיבונאצ'י]]. סדרת פיבונאצ'י היא סדרת המספרים 1,1,2,3,5,8,13,21,34,55,89,144... שבה כל מספר בסדרה הוא סכום שני המספרים הקודמים לו (למעט שני הראשונים). אחת התכונות של הסדרה היא שההפרש בין הריבוע של כל איבר בסדרה למכפלת האיבר העוקב לו באיבר הקודם שווה <math>\pm 1</math>. לדוגמה, הריבוע של 8 הוא 64 והוא שווה לאחד פחות ממכפלת 5x13=65; בעובדה זאת נעשה שימוש בחיתוך של סם לויד. באופן דומה ניתן לבנות חיתוכים המשתמשים גם באיברים הבאים בסדרה. הראשון שכתב על קשר זה היה ו. שלגל (V. Schlegel) בשנת 1879{{הערה|V. Schlegel, Zeitschrift fur Mathematik und Physik Vol.24 p.123|כיוון=שמאל}}, ואחד האנשים לחקור קשר זה היה [[לואיס קרול]].

[[קובץ:Missing square puzzle.svg|שמאל|ממוזער|200px]]
החיתוך הנוסף הנראה באיור, הוא אחד החיתוכים הפשוטים ביותר מן הסוג הזה. הוא הומצא על ידי [[מרטין גרדנר]] ומבוסס על חידות דומות שהמציא הקוסם האמריקאי [[פול קורי]] (Paul Curry). בחיתוך זה משולש מחולק לחלקים המרכיבים את אותו משולש עצמו, רק ללא אחת המשבצות שבו.

[[קובץ:SamLoyd get off the earth.jpg|ימין|ממוזער|250px|חידת "הסיני הנעלם"]]

סוג נוסף של חיתוכים, לכאורה פרדוקסליים, הם ציורים המכילים מספר דמויות, שבהם לאחר שהציור נחתך ומורכב מחדש אחת הדמויות נעלמת. באיור נראית אחת החידות המפורסמות ביותר בהקשר זה, חידת "הסיני הנעלם", או בשמה המקורי "Get Off the Earth Puzzle". בחידה, שהומצאה על ידי סם לויד וזכתה להצלחה מסחרית עצומה (סם לויד אף הוציא [[פטנט]] על הרעיון הזה{{הערה|[http://www.google.com/patents?id=PSdiAAAAEBAJ&pg=PA1&source=gbs_selected_pages&cad=0_1 הפטנט של לויד משנת 1896]}} בשנת 1896), מופיעות 13 דמויות סיניות מסביב למעגל. כאשר חותכים את המעגל, נועצים נעץ במרכזו, ומסובבים את המעגל כך שמחט המצפן מצביעה לכיוון צפון-מערב; אזי נראות בתמונה 12 דמויות בלבד.
[[קובץ:Van Line.svg|שמאל|300px]]
בספרו "Mathematics Magic and Mystery" נותן מרטין גרדנר הסבר פשוט לאופן שבו פועלת החידה הזאת וחידות רבות מסוגה, הסבר שניתן לראות באיור משמאל. באיור, בצידו השמאלי, נראים 6 קווים. לאחר החיתוך וההזזה מתארך כל אחד מן הקווים (פרט לימני) ב-1/5 מארכו, וכך נעלם אחד מהם.

{{-}}

==לקריאה נוספת==
<div class="mw-content-ltr" dir="ltr">
*Perigal, H. "Geometric Dissections and Transpositions", London: Bell & Sons, 1891
*Lindgren, H. "Geometric Dissections", Van Nostrand 1964
*Frederickson, G. "Dissections: Plane and Fancy", New York: Cambridge University Press, 1997
</div>

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}

*[http://www.cs.purdue.edu/homes/gnf/book/webdiss.html רשימת אתרי אינטרנט העוסקים בחיתוכים] מתוך האתר של גרג פרדריקסון
*[http://www.ics.uci.edu/~eppstein/junkyard/dissect.html Geometry Junkyard ]
* {{MathWorld|Dissection|חיתוכים}}
*[http://home.btconnect.com/GavinTheobald/Index.html האתר של גווין תאובלד]
*[http://home.btconnect.com/GavinTheobald/HTML/Triangle.html רשימת חיתוכים מקיפה], מתוך האתר של גווין תאובלד
*[http://www.puzzleworld.org/PuzzlingWorld/default.htm The Puzzling World of Polyhedral Dissections]

===הסטומכיון===

*[https://web.archive.org/web/20080616053024/http://archimedespalimpsest.org/scholarship_netz3.html תיאור הסטומכיון מתוך האתר של חוקרי הפלימפססט של ארכימדס]
*[https://web.archive.org/web/20120206151008/http://video.google.com/videoplay?docid=8211813884612792878&q=techtalks&total=1493&start=30&num=10&so=0&type=search&plindex=4 הפלימפססט של ארכימדס ועבודת שחזורו מתוך google techtalks]
*[http://www.gamepuzzles.com/aspuz.htm הסטומכיון של ארכימדס]

===חיתוכים בלבד===

*[http://mathpuzzle.com/mine.html חידות חיתוכים לצורות דומות]
*[http://www.stetson.edu/~efriedma/mathmagic/0408.html חיתוך L טרומינו, וכן פוליאומינוים אחרים לחלקים זהים] {{Webarchive|url=https://web.archive.org/web/20080828003804/http://www.stetson.edu/%7Eefriedma/mathmagic/0408.html |date=2008-08-28 }}
*[http://www.squaring.net/history_theory/brooks_smith_stone_tutte_II.html לרבע את הריבוע] הכתבה שהופיעה בטור 'Mathematical games' מאת William Tute, מתוך [http://www.squaring.net/index.html אתר] המוקדש לנושא, והכולל גם סיכום על [http://www.squaring.net/history_theory/duijvestijn.html דוג'וסטין] והחיתוך שהוא מצא.

===הוכחות באמצעות חיתוכים ===
*[https://web.archive.org/web/20160303183241/http://kesher-cham.technion.ac.il/clickit_files/files/index/552619713/201043480/581019371.pdf הוכחות ויזואליות ללא מילים (כמעט)] מתוך האתר של '[http://kesher-cham.technion.ac.il/apps/main.aspx?folCode=552619713 קשר חם]' - פרויקט של המחלקה להוראת מדעים של [[הטכניון]]

===הוכחות שקריות===
*[http://mces.blogspot.com/2006/09/puzzle-12-or-13.html הדגמה ברשת] של חידה הדומה לחידת 'Get off the earth' (חידת 'הסיני הנעלם').

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

{{ערך מומלץ}}
[[קטגוריה:חידות]]
[[קטגוריה:שעשועי מתמטיקה]]

{{ללא בוט|177}}