Median perpendicular to a line
Source: XVII Sharygin Correspondence Round P4
March 2, 2021
geometrycircumcircle
Problem Statement
Let be a square with center , and be a point on the minor arc of its circumcircle. The tangents from to the incircle of the square meet at points and . The lines and meet segments and respectively at points and . Prove that the median of triangle from is perpendicular to the segment and equals to its half.