n=2일 때는 행렬을 다음의 꼴로 나타낼 수 있다.
A=(11a1a2)⋅(1b11b2)
따라서 적당한 k∈{0,1}에 대해
det(A)=(−1)kdet[(1112)]2
로 생각할 수 있다.
n>2일 때는 관찰을 하나 더 섞으면 된다. 바로
(1+aibj)n−1=k=0∑n−1(n−1k)aik⋅bjk
이기 때문에, A를 다음과 같이 represent할 수 있다. C(n,k)는 (nk)이다.
A=⎝⎜⎜⎜⎜⎛11⋮1a1a2⋮ana12a22⋮an2⋯⋯⋱⋯a1n−1a2n−1⋮ann−1⎠⎟⎟⎟⎟⎞⋅ ⎝⎜⎜⎜⎜⎛C(n−1,0)1C(n−1,0)1⋮C(n−1,0)1C(n−1,1)b1C(n−1,1)b2⋮C(n−1,1)bnC(n−1,2)b12C(n−1,2)b22⋮C(n−1,2)bn2⋯⋯⋱⋯C(n−1,n−1)b1n−1C(n−1,n−1)b2n−1⋮C(n−1,n−1)bnn−1⎠⎟⎟⎟⎟⎞T
따라서 det(A)는 다음의 꼴로 나타낼 수 있다.
det(A)=(−1)k⋅(n−10) (n−11)⋯(n−1n−1)⋅det⎣⎢⎢⎢⎢⎡⎝⎜⎜⎜⎜⎛1020⋮n01121⋮n1⋯⋯⋱⋯1n−12n−1⋮nn−1⎠⎟⎟⎟⎟⎞⎦⎥⎥⎥⎥⎤2
그런데 맨 오른쪽 항은 Vandermonde Matrix로, 이미 행렬식이 잘 알려져 있는 놈이다.
행렬식의 값을 계산하면 (n−1)!(n−2)!⋯1!이 나온다.
제곱해서 Combination 항들이랑 열심히 섞어주면, 결국 가능한 값은 ±((n−1)!)n 뿐이다. ■