MathDB
computational, circle tangent to hypotenuse with center on right angle

Source: 2012 (-13) Swedish Mathematical Competition p3

August 31, 2020
Tangentscircleright trianglegeometry

Problem Statement

The catheti ACAC and BCBC in a right-angled triangle ABCABC have lengths bb and aa, respectively. A circle centered at CC is tangent to hypotenuse ABAB at point DD. The tangents to the circle through points AA and BB intersect the circle at points EE and FF, respectively (where EE and FF are both different from DD). Express the length of the segment EFEF in terms of aa and bb.