From Gogeometry
Using :
- CDEF Rombus =>DC=DE
- ABCD square =>DC=DA
- DA=DC=DE => A, C and E are on the circle with center D and radius AD
- With the theorem of inscribed angle, « the central angle of a circle is twice any inscribed angle” : <ADC=2<CEA
- <ACD=90° => <CEA=45°