AC+BC = sqrt(2)AB -> O(BMP) tangent to AC.
Source: Spain Mathematical Olympiad 2020 P5
July 15, 2020
geometrySpainlengths
Problem Statement
In an acute-angled triangle , let be the midpoint of and the foot of the altitude to . Prove that if , then the circumcircle of triangle is tangent to .