Difference between revisions of "2003 JBMO Problems/Problem 3"
(→Solution) |
|||
Line 15: | Line 15: | ||
− | Consequently, we can determine the <math>\angle | + | Consequently, we can determine the <math>\angle FDE</math> of <math>\triangle DEF</math> as being equal to <math>\angle FDA + \angle ADE = \angle C/2 + \angle B/2 = 90^{\circ} - \angle A/2</math> |
Also we have <math>\angle DFC = \angle A/2</math>, thus <math>\angle FM'D = 90^{\circ}</math>. Similarly <math>\angle EN'D = 90^{\circ}</math>. | Also we have <math>\angle DFC = \angle A/2</math>, thus <math>\angle FM'D = 90^{\circ}</math>. Similarly <math>\angle EN'D = 90^{\circ}</math>. | ||
Line 29: | Line 29: | ||
Now lines <math>AD</math>, <math>BE</math> and <math>CF</math> intersect at point <math>Q</math>. So <math>Q</math> is the incenter of <math>\triangle ABC</math> and orthocenter of <math>\triangle DEF</math>. | Now lines <math>AD</math>, <math>BE</math> and <math>CF</math> intersect at point <math>Q</math>. So <math>Q</math> is the incenter of <math>\triangle ABC</math> and orthocenter of <math>\triangle DEF</math>. | ||
− | Clearly, <math>QNDM</math> is a cyclic quadrilateral as | + | Clearly, <math>QNDM</math> is a cyclic quadrilateral as <math>N</math>, <math>M</math> are the feet of perpendiculars from <math>E</math> and <math>F</math>. |
So, we have <math>\angle QNM = \angle QDM = \angle ADE = \angle B/2</math>. | So, we have <math>\angle QNM = \angle QDM = \angle ADE = \angle B/2</math>. |
Revision as of 21:49, 13 December 2018
Problem
Let , , be the midpoints of the arcs , , on the circumcircle of a triangle not containing the points , , , respectively. Let the line meets and at and , and let be the midpoint of the segment . Let the line meet and at and , and let be the midpoint of the segment .
a) Find the angles of triangle ;
b) Prove that if is the point of intersection of the lines and , then the circumcenter of triangle lies on the circumcircle of triangle .
Solution
Let , intersect , at , respectively. We will prove first that and that lines , , are altitudes of the .
It's easy to see that lines , and form the internal angle bisectors of .
Consequently, we can determine the of as being equal to
Also we have , thus . Similarly .
Thus , , are altitudes of the with , , respectively being the feet of the altitudes.
Now since is internal bisector of and is perpendicular to , we have that is the perpendicular bisector of . Hence .
Similarly it can be shown that is the perpendicular bisector of , and hence .
Now lines , and intersect at point . So is the incenter of and orthocenter of .
Clearly, is a cyclic quadrilateral as , are the feet of perpendiculars from and .
So, we have .
Similarly, since is also a cyclic-quadrilateral, reasoning as above, .
Thus we have that and so is an internal bisector of . Reasoning in a similar fashion it can be proven that and are internal bisectors of other 2 angles of .
Thus also happens to be the incenter of in addition to being that of .
: Angles of :
Since . Similarly . Finally .
:
Let circumcircle of cut line at point . Since is a cyclic quadrilateral, we have .
Similarly, . Thus = .
Now,
and . Thus = .
Thus we have = = . So is the circumcenter of .