Lo que sabemos es que: 1. El ABCD es un cuadrilátero. 2. El área roja es un cuadrado. 3. AH=BE=CF=DG
La cuestión es probar que el ABCD también es un cuadrado. Me he dado cuenta de que los cuatro triángulos aquí AHG, DGF, EFC y HBE tienen la misma longitud de hipotenusa y también AH = DG = CF = BE, así que si puedo probar ∠ A, B, C, D son 90°, entonces cuatro triángulos son congruentes. Entonces sabré que cuatro lados, AB, BC, CD, DA tienen la misma longitud, entonces puedo probarlo. El problema es que no sé cómo probar que los ángulos A,B,C,D son de 90 grados. Gracias.