注意到 nnn 在斜率 kOQk_{OQ}kOQ 中完全约去了:垂直关系 QO⊥BCQO \perp BCQO⊥BC 对角平分线上的任意一点 NNN 都成立,而不局限于与 BCBCBC 的交点。
利用 Q=(n,m(b−c)nb+c)Q = \left(n, \frac{m(b-c)n}{b+c}\right)Q=(n,b+cm(b−c)n) 与 O=(n(m2+1),0)O = (n(m^2 + 1), 0)O=(n(m2+1),0),可得直线 OQOQOQ 的斜率为 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}kOQ=−nm2b+cm(b−c)n=−(b+c)mb−c,其中 nnn 完全约去。将其与边 BCBCBC 的斜率 kBC=m(b+c)b−ck_{BC} = \frac{m(b+c)}{b-c}kBC=b−cm(b+c) 相乘,得到 kOQ⋅kBC=−1k_{OQ} \cdot k_{BC} = -1kOQ⋅kBC=−1,从而证得 QO⊥BCQO \perp BCQO⊥BC。