<EFD=<ACD+<ECB wanted, points on semicircle (2020 Kyiv City MO 10.5.1 11.4.1)
Source:
September 20, 2020
geometrysemicircleanglesequal angles
Problem Statement
Let be a semicircle with diameter . On this diameter is selected a point , and on the semicircle are selected points and so that lies between and . It turned out that . The intersection point of the tangents to at points and is denoted by . Prove that .