根据勾股定理,AC^2+BC^2=AB^2(式1）
其次,由于RT三角形面积=AC*BC/2=AB*CD/2,所以AC*BC=AB*CD（式2）
推出AB=AC*BC/CD,带入式1,AC^2+BC^2=AC^2*BC^2/CD^2
等式两边同时除以AC^2*BC^2,就可以证明了