대한수학회 1번
육각형 채우기
문제 출제자 : 신희성 인하대학교 수학과 교수
다음과 같이 한 변의 길이가 1인 정삼각형 94개를 모아서 만든 6변의 길이가 3, 4, 5, 3, 4, 5인 육각형 A와 한 변의 길이가 1인 정삼각형 2개를 모아서 만든 마름모 B가 있다.
육각형 A에 47개의 마름모 B를 겹치지 않게 전체를 채우려고 할 때 채운 모양이 서로 다른 것의 개수를 구하여라.
알립니다!
이 문제는 수돌이 선수가 가장 먼저 해결했습니다. 답안은 댓글로 확인하세요!
문제를 출제한 대한수학회의 신희성 교수는 "구하는 방법이 많은 케이스를 나누어 합산하는 방식이라 조금 아쉽지만 어린 학생의 풀이이고, 정답을 구했다는 점에서 칭찬할 만 하다"는 평과 함께 다른 풀이 방법을 기다려봐도 좋겠다는 의견을 남겼습니다.
엔곰 2017.01.02. 18:48
체스판 형식으로 왼쪽 위부터 아래로 흑/백/흑/백..이렇게 채우면 흑 47개, 백 47개의 칸이 생기겠네요. (이 때 인접한 삼각형은 같은 색깔x) 따라서 ▷는 흑/◁는 백이네요. 도입을 그렇게 하면 조금 더 풀이가 수월해질 것 같군요
sung010713 2017.01.02. 20:05
왼쪽 위에 3과 5랑 만나는 꼭짓점에 B 모양을 그대로 넣으면 3쪽과 5쪽에 있는 삼각형들이 다 나란히 되는 하나의 가짓수밖에 없네요 근데 B 모양을 그대로 넣지 않는 경우도 생각해봐야 겠군요
sung010713 2017.01.02. 20:09
꿈꾸는 아이 한 변의 길이가 1인 정육각형을 만드신다는 말씀이신가요?
꿈꾸는 아이 2017.01.02. 20:39
blueart3917 2017.01.03. 14:01
저는 466,560,000,000,000 나왔어여
수돌이 2017.01.05. 13:38
음.. 단서 하나 드릴게요. 위 그림의 육각형을 오른쪽으로 60도 돌려봅시다.
그리고 1층부터 7층까지로 나누어보세요.
그런 다음 두 개의 층에 걸쳐 있는 마름모의 개수와 위치를 생각해보세요. 재미있는 걸 발견하실 수 있으실 겁니다.
수학자 2017.01.07. 18:42
문제를 푸는데 크게 관련은 없지만, 47=3*4+4*5+5*3입니다. 일반적인 모양으로 확장해도 이런 성질을 가집니다.
c_____x 2017.01.14. 14:41
원래 문제가 너무 쉬우신 분은 이것도 풀어보세요.
1. 세 변이 3, 4, 5가 아니라 일반적으로 A, B, C라고 할 때 채울 수 있는 방법의 수는?
2. A, B, C가 충분히 크다고 합시다. 1번을 풀었다면, 평평한 마름모 (◁▷)의 위치만 생각할 때 수직인 각 줄마다 왼쪽부터 무조건 1개, 2개, 3개, ... 씩 있어야 한다는 것을 관찰했을 겁니다. N번째 줄에서 N개의 평평한 마름모의 높이가 l_1, l_2, ... , l_N으로 주어진다고 할 때 나머지를 채우는 방법의 수는?
-----------------------------------------------
아래는 대학생 이상을 위한 문제입니다.
2의 결과를 1의 결과로 나누면, 마름모를 임의로 채웠을 때 N번째 줄의 N개의 평평한 마름모의 높이가 l1, l2, ... , lN일 확률이 나옵니다. 이제 A=aL, B=bL, C=cL, N=nL로 두고 L이 무한대로 가는 극한을 생각합니다. 그러면 3. 저 확률은 어떤 고정된 확률 측도(probability measure)로 수렴하고, 4. 따라서 큰 수의 법칙(law of large number)이 성립하는데, 5. 일반적인 모양 (즉 임의로 채우면 거의 1에 가까운 확률로)은 항상 내접하는 타원 바깥이 한 종류의 마름모로만 채워져 있습니다. 이걸 증명하거나 그럴듯한 이유를 찾아보세요.
참고 그림: http://www.mccme.ru/~vadicgor/images/505050_20av.jpg
--------------------------------------------------------------------------------------
[스포일러] 원래 문제는 plane partition 혹은 lozenge tiling이라 불립니다. 표현론에서 나오는 MacMahon formula (*수정 - Macdonald가 정리하긴 했는데 원래는 이 분이 발견)로 계산할 수 있습니다. 혹은 위의 2번 문제와 같은 일반적인 형태를 Gelfand–Tsetlin 대응을 이용하여 슈르 함수(Schur function)로 계산할 수 있습니다.
일반적인 극한 모양은 오래 전에 알려졌지만 실제 계산은 최근 integrable probability의 여러 방법을 사용할 수 있는데 특정 군(group)의 표현(representation)과 연관지을 수도 있고 더 쉽게는 abstract variational principle과 복소해석학의 Nekrasov equation을 이용하면 됩니다. 경계에서의 극한은 또 다른 측도 변환에서 Tracy-Wisdom distribution을 따른다는 것을 보일 수 있습니다.
어떤 극한 방식을 취하느냐에 따라, 가령 AC/B->t인 극한을 취하면 포물선이 나오는 등 다양한 모양이 나옵니다. 마름모가 아니라 정육면체가 쌓여있는 것을 사영시킨 것으로도 해석할 수 있는데 그렇게 되면 정육면체의 높이가 일종의 무작위적인 표면를 이룬다고 생각할 수 있습니다. 적당히 측도 변환을 해 주면 이 표면이 Gaussian free field로 수렴한다는 것이 몇몇 특수한 경우에 대해서 알려져 있고, 나머지 경우에 대해서도 그럴 것으로 믿어집니다. 그런데 실제로 이 경우에 대해 계산한 페이퍼는 아직 없으니 (그럼에도 모든 사람이 믿기 때문에 Conjecture-Theorem이라고도 합니다) 대학생 분들이 해 볼만한 프로젝트가 될 수도 있습니다.
hyerin1972 2017.01.17. 01:32
180도 회전시켰을 때는 같은 모양이라고 하나요?