CD^2+CD^2=2AD*BD=(BD+AD)^2-BD^2-AD^2
由勾股定理得AC^2-AD^2+BC^2-BD^2=AB^2-AD^2-BD^2
化简后得
AC^2+BC^2=AB^2
由勾股定理逆推得AC垂直BC