ABC est un triangle rectangle en A et ACDE, BCFG sont deux carrés.
Prouver que AF = BD et que les droites (AF) et (BD)
sont perpendiculaires.