Kore’deki Yonsei Üniversitesi’nden bir matematikçi hareketli kanepe problemini çözdüğünü iddia ediyor. Jineon Baek, arXiv ön baskı sunucusunda 100 sayfadan fazla bir ispat yayınladı.
Mülklerinin yerini değiştiren birçok kişi, bir kanepeyi köşeden döndürmeye çalışırken ortaya çıkan hareketli kanepe zorluğuyla karşılaşmıştır. Bir kanepenin belirli bir köşede sıkışmadan manevra yapabileceği maksimum boyut nedir? Bu problem 1966 yılında matematikçi Leo Moser tarafından matematiksel olarak formüle edilmiş ve bugüne kadar çözülememiştir.
Moser’in ön değerlendirmeleri, koridor gibi boş bir alanın bir birim genişliğindeki dik açılı bir köşesi etrafında belirli bir düzlem formunu manipüle ederek matematiğin herhangi bir sorunu nasıl ele alabileceğini gösteren bir kanıt oluşturma potansiyeline odaklanmıştır.
Baek, çalışmasında göstermek için model olarak Gerver kanepeyi seçmiştir. Gerver kanepe, Rutgers Üniversitesi’nde profesör olan Joseph Gerver tarafından 1992 yılında yaratılan matematiksel bir modeldir. Esasen U şeklinde bir ön kısma, yuvarlak kenarlı düz bir arka kısma ve düz, öne bakan kollara sahip bir küp şeklindedir.
Baek başlangıçta problemi kesin bir şekilde tanımlıyor, daha sonra matematiksel araçlar kullanarak çözüme ulaşana kadar ispat boyunca metodik olarak ilerliyor: 1 birimlik bir salonda, bir Gerver kanepenin maksimum alanı 2,2195 birimle sınırlıdır. İspat sırasında Baek, kullanılan Gerver kanepenin konfigürasyonunu kesin bir şekilde tanımlamıştır. Sonuç olarak, kanepenin şekline ilişkin farklı algılar farklı tepkiler verecektir.
Kanepenin tasarımının en başından itibaren belirgin bir şekilde ortaya konmuş olması, Baek’in çözümünün, Gerver kanepenin ispatta belirtilen yorumuyla uyumlu olması koşuluyla, bir kanepeyi köşeden döndüren biri için gerçek dünya senaryolarında potansiyel olarak uygulanabilir olmasına olanak tanımaktadır.
Diğer matematiksel ispatlarda olduğu gibi, Baek’in ispatının da doğruluğunu teyit etmek ve belirtilen probleme ideal çözümü getirdiğini doğrulamak için diğer matematikçiler tarafından incelemeye tabi tutulması gerekmektedir.
Kaynak: phys.org/news/2024-12-mathematician-sofa-problem.html
