根据直角三角形两锐角互余,有tan(a)*tan(90-a)=1,即(h/m)*(h/n)=1,也就是h^2=m*n,这就证明了射影定理.
（其中,h为斜边上的高,m,n为斜边被高线分成两段线段的长度）