In the square ABCD, the midpoint e of BC connects AE, and a point F on CD makes EF ⊥ AE connect AF. verify that AF = AD + FC

In the square ABCD, the midpoint e of BC connects AE, and a point F on CD makes EF ⊥ AE connect AF. verify that AF = AD + FC

Let's set the side length of the square as 1, FC = X. then FD = 1-x
From right triangle ACF, AF ^ 2 = AE ^ 2 + EF ^ 2
AF ^ 2 = 1 ^ 2 + (1-x) ^ 2
AE^2=1+1/4
EF^2=x^2+1/4
The Pythagorean theorem is introduced
The solution is x = 1 / 4
According to the data relation, AF = AD + FC