(2) Establecido
Prueba: A juzgar por el título, CE=DF, CD=DA, ángulo ECD= ángulo FDA,
Entonces el triángulo ECD es igual al triángulo FDA.
AF=DE, ángulo FAD=ángulo EDC.
Ángulo ADC=90 grados, luego ángulo FAD+ángulo AFD=90 grados.
Entonces ángulo AFD + ángulo EDC = 90 grados.
Obtener AF vertical DE
(3) Cuadrado
Demostración: del título, centrándonos en m, n, p, q, hay un teorema de la línea media
MQ=NP=1/2DE, MQ//NP//DE
MN=PQ=1/2AF, MN//PQ//AF
De (2) sabemos que AF=DE, entonces MQ=NP=MN=PQ.
Y AF es perpendicular a DE, entonces todos los ángulos del cuadrilátero son rectos.
Demuestra que un cuadrilátero es un cuadrado.