直角三角形の合同条件を使った証明
（証明の図）