주어진 직각삼각형 $ABC$에서 길이 $a$인 빗변이 $BC$를 $n$등분하였다($n$은 홀수). 이렇게 나뉘어진 선분들 중에서 빗변의 중점을 포함하는 선분의 양끝점을 $A$에서 바라본 각을 $\alpha$라 하자. 이제 $A$에서 빗변에 내린 높이를 $h$라 하자. 다음을 증명하여라.\[ \tan\alpha = \frac{4nh}{(n^2-1)a}\]