MathDB
distance OE= \sqrt{2- d^2}, semicircle related

Source: 2009 (-10) Swedish Mathematical Competition p5

September 1, 2020
geometrysemicircledistance

Problem Statement

A semicircular arc and a diameter ABAB with a length of 22 are given. Let OO be the midpoint of the diameter. On the radius perpendicular to the diameter, we select a point PP at the distance dd from the midpoint of the diameter OO, 0<d<10 <d <1. A line through AA and PP intersects the semicircle at point CC. Through point PP we draw another line at right angle against ACAC that intersects the semicircle at point DD. Through point CC we draw a line l1l_1, parallel to PDPD and then a line l2l_2, through DD parallel to PCPC. The lines l1l_1 and l2l_2 intersect at point EE. Show that the distance between OO and EE is equal to 2d2\sqrt{2- d^2}