Waste less time on Facebook — follow Brilliant.

Surprising Perpendicularity - Problem 1

In \(\triangle ABC\) with \(\angle ABC=90^\circ\), let \(D\) and \(E\) be the intersection of the angle bisectors of \(\angle CAB\) and \(\angle BCA\) with \(BC\) and \(AB\), respectively. If \(I\) is the intersection of \(AD\) and \(CE\), and \(O\) is the circumcenter of \(\triangle BED\), show that \(OI\perp CA\).

Note by Cody Johnson
2 years, 6 months ago

No vote yet
1 vote


Sort by:

Top Newest

Let \(D',J,E'\) be the projections of \(D,I,E\) on \(AC\). Since \(O\) is just the midpoint of \(ED\), we only have to prove \(JD'=JE'\). By the bisector and Pythagoras' theorems we have: \[CD'=CD\cos C=CD\sin A=\frac{ab}{b+c}\sin A=\frac{a^2}{b+c}=\frac{a^2(b-c)}{b^2-c^2}=b-c,\] and \(AE'=b-a\). Since \(AJ=p-a\) and \(CJ=p-c\), the claim follows. Jack D'Aurizio · 2 years, 6 months ago

Log in to reply


Problem Loading...

Note Loading...

Set Loading...