这个几何原本有证明.
简单提下,若ABC为RT,设C为直角,在AC与点B相对的另一侧做CD垂直AC且CD=BC=a
则由勾股定理AD^2=a^2+b^2=c^2,所以AD=AB,由SSS知三角形ABC全等于ADC,所以角ACB=角ACD=90 °