Sofa Terbesar yang Dapat Anda Pindahkan di Sekitar Sudut
Courtesy of QuantaMagazine

Sofa Terbesar yang Dapat Anda Pindahkan di Sekitar Sudut

14 Feb 2025, 07.00 WIB
68 dibaca
Share
Ikhtisar 15 Detik
  • Masalah sofa bergerak menunjukkan kompleksitas dalam optimisasi meskipun terlihat sederhana.
  • Bukti Jineon Baek membuka jalan untuk pendekatan baru dalam masalah matematis yang sulit.
  • Kolaborasi antara berbagai teknik matematis dapat menghasilkan solusi yang inovatif.
Masalah sofa bergerak adalah tantangan matematika yang dimulai pada tahun 1966, ketika Leo Moser bertanya tentang ukuran bentuk terbesar yang bisa melewati sudut 90 derajat di lorong berbentuk L. Sejak saat itu, banyak matematikawan mencoba menemukan solusi, termasuk Joseph Gerver yang pada tahun 1992 mengusulkan bentuk yang dikenal sebagai "sofa Gerver" dengan area sekitar 2,2195. Namun, meskipun banyak yang mencurigai bahwa bentuk ini adalah solusi optimal, tidak ada yang bisa membuktikannya hingga baru-baru ini.
Jineon Baek, seorang peneliti muda dari Universitas Yonsei di Seoul, akhirnya membuktikan bahwa sofa Gerver adalah bentuk terbesar yang dapat melewati lorong tersebut tanpa terjebak. Ia menggunakan pendekatan baru yang tidak memerlukan bantuan komputer, yang mengejutkan banyak matematikawan. Penemuan ini tidak hanya menyelesaikan masalah yang telah ada selama 60 tahun, tetapi juga memberikan harapan untuk kemajuan dalam masalah optimasi lainnya. Gerver sendiri merasa beruntung bisa melihat solusi untuk masalah yang ia ajukan lebih dari 30 tahun yang lalu.

Pertanyaan Terkait

Q
Apa itu masalah sofa bergerak?
A
Masalah sofa bergerak adalah tantangan matematis untuk menemukan bentuk terbesar yang dapat melewati sudut lorong tanpa terjebak.
Q
Siapa yang pertama kali mengusulkan bentuk sofa optimal?
A
Joseph Gerver adalah orang yang pertama kali mengusulkan bentuk sofa optimal pada tahun 1992.
Q
Apa yang ditemukan oleh Jineon Baek?
A
Jineon Baek membuktikan bahwa sofa Gerver adalah bentuk terbesar yang dapat melewati sudut lorong tanpa terjebak.
Q
Mengapa bukti Baek dianggap signifikan?
A
Bukti Baek dianggap signifikan karena ia berhasil menyelesaikan masalah tanpa bantuan komputer dan menggunakan pendekatan baru dalam optimisasi.
Q
Apa yang dilakukan Joseph Gerver setelah menemukan solusi?
A
Setelah menemukan solusi, Joseph Gerver merasa beruntung dapat melihat masalah yang ia usulkan akhirnya terpecahkan.

Artikel Serupa

Teka-teki pemotongan segitiga-ke-persegi yang berusia seratus tahun akhirnya diselesaikan oleh para matematikawan.InterestingEngineering
Sains
2 bulan lalu
61 dibaca

Teka-teki pemotongan segitiga-ke-persegi yang berusia seratus tahun akhirnya diselesaikan oleh para matematikawan.

Britta Späth dan Marc Cabanes: Membuktikan Dugaan McKay Setelah 20 TahunWired
Sains
2 bulan lalu
89 dibaca

Britta Späth dan Marc Cabanes: Membuktikan Dugaan McKay Setelah 20 Tahun

‘Sekali dalam Seabad’ Bukti Menyelesaikan Konjektur Kakeya dalam MatematikaQuantaMagazine
Sains
3 bulan lalu
57 dibaca

‘Sekali dalam Seabad’ Bukti Menyelesaikan Konjektur Kakeya dalam Matematika

Bukti Baru Memperluas Batas Apa yang Tidak Dapat DiketahuiWired
Sains
3 bulan lalu
53 dibaca

Bukti Baru Memperluas Batas Apa yang Tidak Dapat Diketahui

Setelah 20 Tahun, Pasangan Matematikawan Menyelesaikan Masalah Utama Teori GrupQuantaMagazine
Sains
3 bulan lalu
111 dibaca

Setelah 20 Tahun, Pasangan Matematikawan Menyelesaikan Masalah Utama Teori Grup

Matematikawan Menemukan Cara Baru untuk Bola 'Mencium'QuantaMagazine
Sains
5 bulan lalu
54 dibaca

Matematikawan Menemukan Cara Baru untuk Bola 'Mencium'