Was parallel aussieht soll auch parallel sein. Gleiches gilt für anscheinend rechte Winkel.
Es sei a1 || a und a2 || a3.
Die grünen Dreiecke sind (warum auch immer, das überlasse ich der geneigten Leserschaft) kongruent.
Damit gilt a=a1=a2=a3, und die Höhe B'C' im Dreieck mit den Katheten b und a3 hat die gleiche Länge wie die Quadratseite BC.
Roland, vielen Dank für die schöne Aufgabe.