폭이 1인 ㄱ자 복도를
통과할 수 있는 가장 넓은 도형(소파모양)의 넓이를 구하는 문제
도형이 보통 소파 모양으로 나오니까
소파문제라고 불린다. (moving sofa problem)
이런 건 실패임
해머슬리라는 수학자가 제시한 전화기 모양 도형이 약 30년간 가장 넓었었음
이 도형의 넓이는 2.2074
1992년에 거버라는 수학자가
해머슬리 소파를 약간 개량한 도형을 제시함
이 도형의 넓이는 2.2074보다 아주 약간 더 넓은
2.2195
여기서 문제가 생김
거버의 도형이 최대값인 것 같은데
증명이 안 돼!!!
그렇게 수학자를 괴롭히길 32년
2024년
연세대 백진언 박사가
거버가 정답이라는 증명을 함
아직 논문은 arXive 지만
국내 수학계에서는 증명됐다는 평가
백진언 박사는 인간적으로도 대단한 게
기초생활수급자 집안 => 부산 한국과학영재고 => 포항공대 => 미국 미시간대 박사 => 연세대 연구원
개천에서 난 용
이거 사무실에서 전화받다가 책상뒤로 떨어진 전화기손잡이문제네. 정답은 바닥으로 기어들어가서 주워오면 됨.
이거보고 수화기를 포기했다
너가 해냄 빨리 논문쓰셈
수학적 증명은 모르지만 걍 만들어서 쑤셔보면 되는거 아님?
이거 사무실에서 전화받다가 책상뒤로 떨어진 전화기손잡이문제네. 정답은 바닥으로 기어들어가서 주워오면 됨.
이거보고 수화기를 포기했다
너가 해냄 빨리 논문쓰셈
와 머리 좋네
수학적 증명은 모르지만 걍 만들어서 쑤셔보면 되는거 아님?
푸슉♥︎푸슉♥︎
야한말로 유혹한 니 잘못이야 딱대라
1. 이론적 최대치를 알아내려는 마당에 실물제작품 치수가 같은지 일일히 확인하면서 갈 수는 없는거임
2. 그렇게 한 증명은 경험적 증명에 불과함(귀납적인 결론이기 때문에 오류 가능성을 내포함)
저게 이론상 최고 넓이는 맞지만 진짜인지 증명하는건 다른 문제라
모든걸 수학적으로 표현하려는게
수학과의 궁극적 목표
증명과정을 알려줘...
https://arxiv.org/abs/2411.19826
이건 가봐
증명을 이해할 사람은 증명을 찾는 법을 알고 있을 거야
개량한거 보니까 안에 모서리쪽을 살짝 깎았네 ㅋㅋㅋ