図形的な説明です(エレガントか否かは別として)。
凾`DPを点Pの周りに90゜回転すると、点DはBと重なり、PはP’に移ります。
角度を見ると、点P’は直線BC上にある事は明らかですが、P’は点AからAEに垂直な線を引き、直線BCとの交点にもなっています。
後者の方法でも凾`DP≡凾`BP’の証明は容易ですね(2角1辺が楽かな?)。
ここで凾`EP’に注目すると、凾`FEが二等辺三角形ですから、点FはP’Eの中点になります。
即ち、赤線+青線=緑線・・・大分説明を端折っていますが、これはいつもの(得意な)手抜きです。
少し付け加えると、a=a'(折り返し)、a=a''(回転)、a=b(錯角)・・・これ位で良いかな?