Dots, ka \(ABCD\) ir kvadrāts un \(E\) ir malas \(AB\) iekšējs punkts. Nogriežņi \(AC\) un \(DE\) krustojas punktā \(P\). Perpendikuls, kas no \(P\) vilkts pret \(DE\), krusto malu \(BC\) punktā \(F\). Pierādīt, ka \(EF=AE+FC\).