Problem 3
Let be a triangle. Let and be the points in which the median and the angle bisector, respectively, at meet the side . Let and be the points in which the perpendicular at to meets and , respectively, and the point in which the perpendicular at to meets produced. Prove that is perpendicular to .
Step 3 of 3: Multiply the slopes of OQ and BC to verify perpendicularity
In plain words
Notice that cancels out of the slope : the perpendicularity holds for any point on the angle bisector, not just the intersection with .
Detailed analysis
Using and , the slope of line is , where cancels out completely. Multiplying this by the slope of side gives , proving that .