Mempersegikan persegi

Mempersegikan persegi () adalah masalah pengubinan untuk menyusun persegi integral dari persegi-persegi integral lain yang lebih kecil (persegi integral adalah persegi yang panjang sisi-sisinya bilangan bulat). Nama masalah ini serupa dengan masalah matematika lain, yaitu squaring the circle (mempersegikan lingkaran).

Masalah ini mudah diselesaikan selama tidak ada syarat tambahan. Kasus dengan syarat tambahan yang telah paling banyak dipelajari adalah persegi sempurna, yaitu persegi yang persegi-persegi penyusunnya harus berbeda ukuran. Masalah lain yang berkaitan dengan ini adalah masalah squaring the plane (mempersegikan bidang), yang bisa dilakukan bahkan dengan syarat semua bilangan asli harus muncul tepat satu kali sebagai ukuran ubin persegi. Orde persegi adalah jumlah persegi kecil yang digunakan untuk menyusun persegi besar.

Persegi sempurna 

Persegi yang "sempurna" adalah persegi yang tersusun atas persegi-persegi kecil yang ukurannya berbeda semua.

Masalah ini tercatat pertama kali dipelajari oleh R. L. Brooks, C. A. B. Smith, A. H. Stone dan W. T. Tutte di Universitas Cambridge antara tahun 1936 dan 1938. Mereka memetakan gambar persegi tersebut sebagai diagram rangkaian listrik — mereka menyebutnya "diagram Smith" — dengan menganggap setiap persegi sebagai resistor dengan hambatan 1 ohm yang terhubung dengan persegi di atas dan bawahnya, lalu menerapkan hukum Kirchhoff dan teknik dekomposisi rangkaian terhadap sirkuit itu. Persegi sempurna yang pertama kali mereka temukan memiliki orde 69.

Persegi sempurna yang pertama kali dipublikasikan merupakan persegi majemuk, memiliki panjang sisi 4205 dan orde 55, dan ditemukan oleh Roland Sprague pada 1939.

Martin Gardner menerbitkan artikel yang ditulis W. T. Tutte yang membahas sejarah awal masalah squaring the square secara mendalam pada kolom permainan matematikanya pada November 1958.

Persegi sederhana 
Persegi "sederhana" adalah persegi yang persegi-persegi penyusunnya tidak membentuk persegi atau persegi panjang lain di dalamnya—jika ada persegi atau persegi panjang lain, itu disebut persegi "majemuk".

Pada 1978, A. J. W. Duijvestijn menemukan persegi sempurna yang sederhana dengan panjang sisi 112 dan orde paling rendah menggunakan pencarian komputer. Dia menggunakan 21 persegi kecil; ini telah dibuktikan sebagai jumlah persegi paling sedikit. Persegi ini menjadi logo Trinity Mathematical Society.

Duijvestijn juga menemukan dua persegi sempurna sederhana lain dengan panjang sisi 110, tapi terdiri atas 22 persegi kecil. T.H. Willcocks menemukan satu lagi. Pada 1999, I. Gambini membuktikan bahwa tiga persegi ini adalah persegi sempurna sederhana yang panjang sisinya paling kecil.

Persegi sempurna majemuk dengan jumlah persegi kecil paling sedikit ditemukan oleh T.H. Willcocks pada 1946 dan terdiri atas 24 persegi kecil. Akan tetapi, itu baru dibuktikan secara matematis oleh Duijvestijn, Pasquale Joseph Federico, dan P. Leeuw pada 1982 sebagai contoh dengan orde paling rendah.

Masalah selimut Ny. Perkins 
Masalah selimut Ny. Perkins () adalah masalah memotong persegi ukuran  menjadi persegi-persegi lebih kecil dengan jumlah persegi kecil paling sedikit (mencari orde persegi paling rendah). Ukuran persegi-persegi kecil boleh ada yang sama (tidak harus persegi sempurna).

Kasus yang paling banyak dipelajari memiliki syarat tambahan bahwa pola pemotongan persegi dengan panjang sisi  harus berbeda dengan pola pemotongan persegi dengan panjang sisi .

Bilangan imut 

Bilangan imut () adalah bilangan bulat positif  sedemikian rupa agar suatu persegi bisa dipotong menjadi persegi-persegi lebih kecil sejumlah  dengan syarat hanya ada maksimal dua ukuran persegi yang berbeda. Telah dibuktikan bahwa bilangam imut mencakup semua bilangan bulat positif kecuali 2, 3, dan 5.

Squaring the plane 

Pada 1975, Solomon Golomb mengajukan pertanyaan apakah seluruh bidang dapat diisi ubin persegi, dengan setiap persegi yang panjang sisinya bilangan bulat, yang dia sebut konjektur pengubinan heterogen. Masalah ini kemudian dipublikasikan oleh Martin Gardner pada kolom Scientific American dan muncul di beberapa buku, namun solusinya belum ditemukan selama 30 tahun.

Pada Tilings and Patterns yang terbit pada 1987, Branko Grünbaum dan G. C. Shephard menyatakan bahwa pada semua pengubinan bidang dengan persegi integral sempurna masa itu, ukuran perseginya membesar secara eksponensial. Contohnya, suatu bidang bisa diisi ubin persegi integral yang berbeda—tapi tidak semua bilangan bulat—dengan persegi sempurna dan memperbesarnya sampai persegi penyusun paling kecil yang baru sama besarnya dengan persegi keseluruhan awal, lalu mengganti persegi tersebut dengan seluruh persegi sempurna awal.

Pada 2008, James Henle dan Frederick Henle membuktikan bahwa pengubinan heterogen bisa dilakukan. Bukti mereka berupa cara konstruksi dengan mengembangkan daerah berbentuk L yand dibentuk dari dua persegi berukuran berbeda yang bersebelahan pada pengubinan sempurna daerah persegi panjang, kemudian menyambungkan persegi terkecil yang belum terpakai untuk membuat daerah berbentuk L yang lebih besar. Persegi yang ditambahkan pada pengembangan memiliki ukuran yang belum ada pada konstruksinya dan prosedurnya dibuat agar daerah persegi panjangnya meluas ke empat arah sehingga mengisi seluruh bidang.

Mengubuskan kubus 
Mengubusukan kubus () adalah masalah serupa pada tiga dimensi: memotong suatu kubus menjadi kubus-kubus lebih kecil yang berbeda ukuran semua yang jumlahnya berhingga.

Berbeda dengan persegi, solusi masalah kubus tidak ada; tidak ada kubus yang tersusun atas kubus-kubus sempurna. Secara umum, tidak ada cara memotong balok C menjadi sejumlah kubus-kubus berbeda yang berhingga.

Untuk membuktikan ini, mulai dengan pernyataan ini: untuk setiap pemotongan sempurna persegi panjang menjadi persegi-persegi, persegi paling kecil tidak akan berada di sudut pesegi panjang. Hal ini disebabkan setiap persegi pada sudut pasti bersebelahan dengan persegi lain yang lebih kecil yang bukan di sudut.

Misalkan ada pemotongan sempurna balok C menjadi kubus-kubus berhingga. Sebut salah satu permukaan balok C sebagai dasar balok R. Dasar balok R terpotong sempurna menjadi persegi-persegi oleh kubus-kubus yang tersusun di atasnya. Persegi paling kecil s1 pada R dikelilingi persegi-persegi yang lebih besar, dengan demikian kubus-kubus yang lebih tinggi. Karena itu, muka atas kubus pada s1 harus terpotong sempurna menjadi persegi-persegi oleh kubus-kubus di atasnya. Sebut persegi paling kecil pemotongan ini s2. Dengan klaim yang sama, s2 dikelilingi persegi-persegi yang lebih besar dan kubus-kubus yang lebih tinggi.

Urutan persegi-persegi s1, s2, ... yang semakin kecil ini tak berhingga dan kubus-kubusnya juga tak berhingga. Ini bertentangan dengan pemisalan awal.

Jika kubus 4 dimensi (bahasa Inggris: tesseract) bisa dipotong secara sempurna dengan cara serupa, "permukaannya" akan tersusun dari kubus-kubus sempurna; sementara pemotongan sempurna kubus itu mustahil. Dengan demikian, tidak ada solusi masalah ini untuk semua kubus dengan dimensi yang lebih tinggi.

Lihat juga 

 Penyusunan persegi dalam persegi

Bacaan lebih lanjut 

 Bouwkamp, C. J.; Duijvestijn, A. J. W. Catalogue of Simple Perfect Squared Squares of Orders 21 Through 25, Eindhoven Univ. Technology, Dept. of Math., Report 92-WSK-03, Nov. 1992.
 Bouwkamp, C. J.; Duijvestijn, A. J. W. (Dec 1994). "Album of Simple Perfect Squared Squares of order 26" (PDF). EUT Report 94-WSK-02., Eindhoven University of Technology, Faculty of Mathematics and Computing Science.
 Gardner, Martin. "Squaring the square," dalam The 2nd Scientific American Book of Mathematical Puzzles and Diversions.
 Henle, Frederick,; Henle, James M. (2008). "Squaring the plane" (PDF). American Mathematical Monthly. 115: 3-2. JSTOR 27642387. Diarsipkan dari versi asli (PDF) pada 2006-06-20.
 Wynn, Ed. (2013). "Exhaustive generation of Mrs Perkins's quilt square dissection for low orders". arXiv:1308.5420.

Pranala luar 

 Persegi sempurna
 http://www.squaring.net/
 http://www.math.uwaterloo.ca/navigation/ideas/articles/honsberger2/index.shtml 
 https://web.archive.org/web/20030419012114/http://www.math.niu.edu/~rusin/known-math/98/square_dissect
 http://www.stat.ualberta.ca/people/schmu/preprints/sq.pdf
 Mrs. Perkins's quilt
 https://mathworld.wolfram.com/MrsPerkinssQuilt.html

Geometri
Teselasi
Masalah matematika