動く点Pの問題と三角形の合同条件を使った証明です。