MathDB
Junior Regional Olympiad - FBH 2016 Grade 7 Problem 4

Source:

September 29, 2018
geometry

Problem Statement

In right angled triangle ABCABC point DD is midpoint of hypotenuse, and EE and FF are points on shorter sides ACAC and BCBC, respectively, such that DEDFDE \perp DF. Prove that EF2=AE2+BF2EF^2=AE^2+BF^2