http://mathsci.kaist.ac.kr/pow/2009/02/06/2009-1 에 출제된 문제이다.
Let
is an integer.
이 문제의 식은 나에게는 매우 익숙한 식이라, 이 식이 어떤 정수 행렬의 행렬식이라는 것을 바로 알아 챌 수 있었다. 하지만 아직 학생들의 답이 올라오지 않을 때였기에, 이제서야 풀이를 써 본다. 홈페이지에 가보면 학생들의 풀이 중 가장 좋은 풀이가 올라와 있다. 내 풀이와 근본적으로 같은 것이라, 내 풀이의 핵심아이디어만 뽑아 따로 적어본다.
핵심 아이디어는 행렬 M
의 모든 성분은 정수이기 때문에 그것의 행렬식 det(M) 은 정수가 된다는 것이다. 그러므로
임을 증명하면 충분하다. Vandermonde Matrix 의 행렬식을 구하는 방법으로 행렬 M의 행렬식을 구할 수 있다. (수식 쓰기가 어려워 생략!)
조금 더 덧붙이면, 이항계수들로 구성된 행렬의 행렬식은 때에 따라서 조합론적으로 해석이 가능한 수가 된다. 위의 행렬 M 의 행렬식도 마찬가지인데,
좌표
이 된다.
'Thoughts > Math' 카테고리의 다른 글
Stable Marriage Problem (13) | 2009.05.05 |
---|---|
2014년 국제 수학자 대회 (ICM) 서울 유치 (0) | 2009.04.23 |
Ramanujan's infinitely nested radicals problem (2) | 2009.01.17 |
무리수의 무리수승 형태의 수가 유리수가 될 수 있을까? (0) | 2009.01.17 |
Tessellation (2) | 2008.09.12 |