MathDB
perpendicular inside a right triangle, altitude and midpoints

Source: 2006 Indonedia MO Province P2 q1 OSP

December 11, 2020
geometryperpendicularright triangle

Problem Statement

Suppose triangle ABCABC is right-angled at BB. The altitude from BB intersects the side ACAC at point DD. If points EE and FF are the midpoints of BDBD and CDCD, prove that AEBFAE \perp BF.