Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In triangle $ABC$ the angle $\angle C= 30^\circ$. If $D$ is a point on $AC$,and $E$ is a point on $BC$ such that $AD=BE=AB$.how to prove that $OI=DE$, and how to prove that $OI\perp DE$ where $O$ is the circumcenter, and $I$ is the incenter.

share|improve this question

1 Answer 1

up vote 9 down vote accepted

enter image description here

1. Consider a circle of radius $|OI|$ with center at $I$. Let $OG || BC$ and $OJ || AC$. Also $|KC|=|KA|$.

We can write that $|OJ|=2|KF|=2|AK|-2|AF|=|AC|-(|AB|+|AC|-|BC|)=|BC|-|AB| \ \ ^{*)}$.

As $|AB|=|BE| \Rightarrow |OJ|=|CE|$. Similarly we can prove that $|OG|=|CD|$.

$\angle GOJ =\angle ECD, |OJ|=|CE|, $|OG|=|CD|$ \Rightarrow \triangle GOJ =\triangle ECD $.

Radius of circimcircle of $\triangle GOJ$ is equal to radius of circimcircle of $\triangle ECD \Rightarrow |HE|=|HD|=|OI|$.

$\angle ECD = 30^\circ \Rightarrow \angle EHD=60^\circ \Rightarrow \triangle EHD$ - equilateral and |DE|=|OI|.

enter image description here

2. $OL$ is a tangent line to a circle at point $O$. Then $\angle GJO =\angle GOL$.

As $\triangle GOJ =\triangle ECD \Rightarrow$ $\angle CED =\angle GOL$.

But $GO||BC$ so we have that $OL||DE$

As tangent line $OL\perp OI \Rightarrow DE\perp OI$. And it's true for any $\angle C$.

Both pictures for the case when $|AB|<|BC|$ and $|AB|<|AC|$. Other cases - similarly.

All we need - prove that $\triangle GOJ =\triangle ECD$.

$^{*)}$ UPD To clarify $|OJ|=2|KF|=2|AK|-2|AF|=|AC|-(|AB|+|AC|-|BC|)=|BC|-|AB|$

a. $OK \perp AB$ as $O$ is circumcenter. Thats why $OKWF$ rectangle and $|OJ|=2|KF|$. (see comments).

enter image description here

b. As I is the incenter $\Rightarrow |AF|=|AM|,|CF|=|CN|,|BM|=|BN| \Rightarrow $

$\Rightarrow |AB|+|AC|+|BC| = 2|AF|+|CF|+|CN|+|BM|+|BN|$.

$|CF|+|BM|=|CN|+|BN|=|BC| \Rightarrow$

$\Rightarrow |AB|+|AC|+|BC| = 2|AF|+2|BC| \Rightarrow $

$\Rightarrow 2|AF|=|AB|+|AC|-|BC|$.

It is interesting that points C,I,E,A lies on a circle (and it's true for any $\triangle ABC$). I tried to use this fact to a simpler proof, but I did not succeed. Maybe someone will be lucky.

share|improve this answer
    
Gee, this ain't basic geometry, is it? Anyway, from the beginning I've problems understanding: why $\,|OJ|=2|KF|\,$? A far as I can see, $\,K\,$ is the midpoint of $\,AC\,$ and $\,F\,$ the point of $\,AC\,$ where the perpendicular to it passes through $\,I\,$ and through the point $\,W\,$ of intersection of $\,OJ\,$ with $\,IF\,$ , from which follows that $\,OK\perp AB\,$ , as then $\,OWFK\,$ is a rectangle...But why? –  DonAntonio Sep 2 '12 at 2:01
2  
$OK \perp AB$ as O is a circumcenter. $IF \perp AB$ point where inscribe circle tangent AB. Let $OJ$ and $IF$ intersect at $W$. Then $OKFW$ - is a rectangle and $|OJ|/2=|WO|=|KF|$. –  Mike Sep 2 '12 at 2:20
    
Oh, of course. I totally forgot $\,O\,$ is the triangle's circumcenter. Thanks, I'll try to read some more later. –  DonAntonio Sep 2 '12 at 2:24
    
It's nice problem for olympiad. I saw that these triangles are equal, and spent almost half an hour to prove it. Not so hard, as it's seems. –  Mike Sep 2 '12 at 2:26
    
This is aweosme pure geometry stuff. –  Sawarnik Oct 22 at 7:43

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.