fixed angle wanted, 2 mixtlinears created by a perpendicular on semicircle
Source: 2020 Austrian Federal Competition For Advanced Students, Part 2, p5
November 22, 2020
geometrymixtilinearfixedfixed anglesemicircle
Problem Statement
Let be a semicircle with diameter . Let be an arbitrary point inside the diameter . The perpendicular through on intersects at point . The line divides the semicircular area into two parts. A circle will be inscribed in each of them that touches and . The points of contact of the two circles with are denoted by and , where lies between and . Prove that the size of the angle does not depend on the choice of .(Walther Janous)