개구간 $(1,12)$에서 12개의 실수 $d_1,d_2,\ldots,d_{12}$를 아무렇게나 잡더라도, $d_i$, $d_j$, $d_k$가 예각삼각형의 세 변의 길이가 되도록 세 수 $1\le i<j<k\le 12$를 잡을 수 있음을 보여라.
(2012년 12월 1일)