MathDB
PF is perpendicular to AB if ON + OH = BK

Source: 1998 Belarus TST 6.1

June 9, 2020
geometryperpendicular bisectorangle bisectormidpointsangle

Problem Statement

Let OO be a point inside an acute angle with the vertex AA and H,NH, N be the feet of the perpendiculars drawn from OO onto the sides of the angle. Let point BB belong to the bisector of the angle, KK be the foot of the perpendicular from BB onto either side of the angle. Denote by P,FP,F the midpoints of the segments AK,HNAK,HN respectively. Known that ON+OH=BKON + OH = BK, prove that PFPF is perpendicular to ABAB.
Ya. Konstantinovski