Problem 219. Rhombus, perpendiculars, arithmetic mean
In a rhombus ABCD, OE is perpendicular to AD and the line FGHMN is perpendicular to CD. Prove that HE is the arithmetic mean of FG and MN.