MathLabs

Problem 3

Let ABCABC be a triangle. Let MM and NN be the points in which the median and the angle bisector, respectively, at AA meet the side BCBC. Let QQ and PP be the points in which the perpendicular at NN to NANA meets MAMA and BABA, respectively, and OO the point in which the perpendicular at PP to BABA meets ANAN produced. Prove that QOQO is perpendicular to BCBC.
Step 3 of 3: Multiply the slopes of OQ and BC to verify perpendicularity
In plain words

Notice that nn cancels out of the slope kOQk_{OQ}: the perpendicularity QO⊥BCQO \perp BC holds for any point NN on the angle bisector, not just the intersection with BCBC.

kOQ=m(b−c)nb+c−0n−n(m2+1)=−b−c(b+c)m  ⟹  kOQ⋅kBC=−b−c(b+c)m⋅m(b+c)b−c=−1k_{OQ} = \frac{\frac{m(b-c)n}{b+c} - 0}{n - n(m^2+1)} = -\frac{b-c}{(b+c)m} \implies k_{OQ} \cdot k_{BC} = -\frac{b-c}{(b+c)m} \cdot \frac{m(b+c)}{b-c} = -1
Detailed analysis

Using Q=(n,m(b−c)nb+c)Q = \left(n, \frac{m(b-c)n}{b+c}\right) and O=(n(m2+1),0)O = (n(m^2 + 1), 0), the slope of line OQOQ is kOQ=m(b−c)nb+c−nm2=−b−c(b+c)mk_{OQ} = \frac{\frac{m(b-c)n}{b+c}}{-n m^2} = -\frac{b-c}{(b+c)m}, where nn cancels out completely. Multiplying this by the slope kBC=m(b+c)b−ck_{BC} = \frac{m(b+c)}{b-c} of side BCBC gives kOQ⋅kBC=−1k_{OQ} \cdot k_{BC} = -1, proving that QO⊥BCQO \perp BC.