最後の等式から 2∠A=180∘2\angle A=180^\circ2∠A=180∘、従って ∠A=90∘\angle A=90^\circ∠A=90∘。よって ABCABCABC は直角三角形である。