Online Geometry Problem 20: Right triangle, Altitude, Perpendiculars, Inradii, Similarity. Level: High School, Honors Geometry, College, Mathematics Education

In triangle ABC, angle B is a right angle. BD is the altitude, , a, b, and x are the inradii of the triangles AED, DFC and EDF respectively. Prove that .