MathDB
AB = AH wanted inside a square ABCD (2017 Kyiv City MO 10.3)

Source:

September 9, 2020
geometrysquareequal segments

Problem Statement

Given the square ABCDABCD. Let point MM be the midpoint of the side BCBC, and HH be the foot of the perpendicular from vertex CC on the segment DMDM. Prove that AB=AHAB = AH.
(Danilo Hilko)