It is easy to find that BF=DF=AE, DE=CE=AF,

Let BF=DF=AE=a, DE = CE = AF = B.

Using cosine theorem

The square of FM in triangle BFM is equal to the square of EM in triangle MEC.

The square of FM plus the square of EM equals the square of EF.

Obtain a certificate