GC/Win

この図において,
PM = QM
PM ⊥ QM
の証明です。
「長さが等しいこと」の証明には, 普通は合同な三角形を見つけるのが普通ですが, なかなか見つけることができません。
特に，Mをどう利用したらいいのか。
途方にくれる時間が続きました。