>>492
垂線の足をHとすると、HA=HB=HCであることが三平方の定理より
すぐ確認できる。