Angle Bisectors Bisect Arcs Below Was the Find Round of the 36Th
Total Page:16
File Type:pdf, Size:1020Kb
Volume 11, Number 2 April 2006 – May 2006 Olympiad Corner Angle Bisectors Bisect Arcs Below was the Find Round of the 36th Austrian Math Olympiad 2005. Kin Y. Li Part 1 (May 30, 2005) In general, angle bisectors of a triangle Solution. Let I be the incenter of ∆ABC. Problem 1. Show that an infinite do not bisect the sides opposite the By the theorem, we have 2IR = AR + BR number of multiples of 2005 exist, in angles. However, angle bisectors > AB and similarly 2IP > BC, 2IQ > CA. which each of the 10 digits 0,1,2,…,9 always bisect the arcs opposite the Also AI + BI > AB, BI + CI > BC and occurs the same number of times, not angles on the circumcircle of the CI + AI > CA. Adding all these counting leading zeros. triangle! In math competitions, this fact inequalities together, we get is very useful for problems concerning Problem 2. For how many integer 2(AP + BQ + CR) > 2(AB + BC + CA). angle bisectors or incenters of a triangle values of a with |a| ≤ 2005 does the system of equations x2 = y + a, y2 = x + a involving the circumcircle. Recall that Example 2. (1978 IMO) In ABC, AB = have integer solutions? the incenter of a triangle is the point AC. A circle is tangent internally to the where the three angle bisectors concur. circumcircle of ABC and also to the Problem 3. We are given real numbers sides AB, AC at P, Q, respectively. a, b and c and define s as the sum s = an n n Theorem. Suppose the angle bisector of Prove that the midpoint of segment PQ + bn + cn of their n-th powers for is the center of the incircle of ∆ABC. non-negative integers n. It is known that ∠ BAC intersect the circumcircle of ∆ABC at X ≠ A. Let I be a point on the A s1 = 2, s2 = 6 and s3 = 14 hold. Show that line segment AX. Then I is the incenter 2 | sn − sn−1 ⋅ sn+1 |= 8 of ∆ABC if and only if XI = XB = XC. A holds for all integers n > 1. Problem 4. We are given two P Q equilateral triangles ABC and PQR with I parallel sides, “one pointing up” and I “one pointing down.” The common area B C of the triangles’ interior is a hexagon. B C X Show that the lines joining opposite corners of this hexagon are concurrent. X Solution. Let I be the midpoint of line segment PQ and X be the intersection of (continued on page 4) Proof. Note ∠BAX =∠CAX =∠CBX. the angle bisector of ∠BAC with the arc So XB = XC. Then BC not containing A. Editors: Ի ஶ (CHEUNG Pak-Hong), Munsang College, HK I is the incenter of ∆ABC ଽ υ ࣻ (KO Tsz-Mei) By symmetry, AX is a diameter of the ∠CBI =∠ABI గ ႀ ᄸ (LEUNG Tat-Wing) ⇔ circumcircle of ∆ABC and X is the ∠IBX −∠CBX =∠BIX −∠BAX ፱ (LI Kin-Yin), Dept. of Math., HKUST ⇔ midpoint of the arc PXQ on the inside ᜢ ݰ (NG Keng-Po Roger), ITC, HKPU ∠IBX = ∠BIX ֔ ⇔ circle, which implies PX bisects .Artist: ྆ ؾ ़ (YEUNG Sau-Ying Camille), MFA, CU ⇔ XI = XB = XC ∠QPB . Now ∠ABX = 90˚ = ∠PIX Acknowledgment: Thanks to Elina Chiu, Math. Dept., so that X, I, P, B are concyclic. Then HKUST for general assistance. Example 1. (1982 Australian Math Olympiad) Let ABC be a triangle, and On-line: ∠IBX =∠IPX =∠BPX =∠BIX. http://www.math.ust.hk/mathematical_excalibur/ let the internal bisector of the angle A The editors welcome contributions from all teachers and meet the circumcircle again at P. So XI = XB. By the theorem, I is the students. With your submission, please include your name, Define Q and R similarly. Prove that AP incenter of ∆ABC. address, school, email, telephone and fax numbers (if available). Electronic submissions, especially in MS Word, + BQ + CR > AB + BC + CA. are encouraged. The deadline for receiving material for the A Example 3. (2002 IMO) Let BC be a next issue is August 16, 2006. R diameter of the circle Γ with center O. For individual subscription for the next five issues for the Let A be a point on Γ such that 0˚ < 05-06 academic year, send us five stamped self-addressed Q envelopes. Send all correspondence to: I ∠AOB < 120˚. Let D be the midpoint Dr. Kin-Yin LI of the arc AB not containing C. The line Department of Mathematics B through O parallel to DA meets the line The Hong Kong University of Science and Technology C Clear Water Bay, Kowloon, Hong Kong AC at J. The perpendicular bisector of Fax: (852) 2358 1643 P OA meets Γ at E and at F. Prove that J is Email: [email protected] the incenter of the triangle CEF. Mathematical Excalibur, Vol. 11, No. 2, Apr. 06 - May 06 Page 2 A H, I on the circumcircle, we see that This implies J is the midpoint of KQ. P=BG∩CH, K=GJ∩HI and BI∩CJ= Hence the circle with center J and D F BD∩CE are collinear. Hence, BD∩CE is diameter KQ is tangent to circle O at K E on line PK, which is the same as line AP. and tangent to BC at Q. Since J is on the bisector of ∠BCA, this circle is J C O B Example 5. (2006 APMO) Let A, B be also tangent to AC. So this circle is O2. two distinct points on a given circle O and let P be the midpoint of line segment AB. Example 6. (1989 IMO) In an Let O1 be the circle tangent to the line AB acute-angled triangle ABC the internal at P and tangent to the circle O. Let ℓ be bisector of angle A meets the Solution. The condition ∠AOB < the tangent line, different from the line AB, circumcircle of the triangle again at A1. 120˚ ensures I is inside ∆CEF (when to O1 passing through A. Let C be the Points B1 and C1 are defined similarly. ∠ AOB increases to 120˚, I will intersection point, different from A, of ℓ Let A0 be the point of intersection of coincide with C). Now radius OA and and O. Let Q be the midpoint of the line the line AA1 with the external bisectors chord EF are perpendicular and bisect segment BC and O2 be the circle tangent of angles B and C. Points B0 and C0 are each other. So EOFA is a rhombus. to the line BC at Q and tangent to the line defined similarly. Prove that: Hence A is the midpoint of arc EAF. segment AC. Prove that the circle O2 is (i) the area of the triangle A0B0C0 is Then CA bisects ∠ECF. Since OA = tangent to the circle O. OC, ∠AOD = 1/2∠AOB = ∠OAC. twice the area of the hexagon Then DO is parallel to AJ. Hence N AC1BA1CB1, C ODAJ is a parallelogram. Then AJ = Z (ii) the area of the triangle A0B0C0 is at DO = EO = AE. By the theorem, J is least four times the area of the triangle L the incenter of ∆CEF. ABC. Q C Example 4. (1996 IMO) Let P be a J 0 C B point inside triangle ABC such that A P B 1 ∠APB −∠ACB = ∠APC −∠ABC. K A M I Let D, E be the incenters of triangles Solution. Let the perpendicular to AB B A APB, APC respectively. Show that AP, 1 1 through P intersect circle O at N and M B BD and CE meet at a point. 0 C A0 with N and C on the same side of line AB. A By symmetry, segment NP is a diameter Solution. (i) Let I be the incenter of of the circle of O1 and its midpoint L is the ∆ABC. Since internal angle bisector J I center of O1. Let line AL intersect circle O and external angle bisector are K again at Z. Let line ZQ intersect line CM perpendicular, we have ∠B0BA0 = 90˚. at J and circle O again at K. By the theorem, A I = A B. So A must H D E G 1 1 1 be the midpoint of the hypotenuse A0I Since AB and AC are tangent to circle O1, P of right triangle IBA0. So the area of AL bisects ∠ CAB so that Z is the B C ∆BIA0 is twice the area of ∆BIA1. midpoint of arc BC. Since Q is the F midpoint of segment BC, ∠ZQB = 90˚ = Cutting the hexagon AC1BA1CB1 into ∠LPA and ∠JQC = 90˚ =∠MPB. Next six triangles with common vertex I and Solution. Let lines AP, BP, CP applying a similar area fact like the last ∠ZBQ =∠ZBC =∠ZAC =∠LAP. intersect the circumcircle of ∆ABC statement to each of the six triangles, again at F, G, H respectively. Now So ∆ZQB, ∆LPA are similar. Since M is we get the conclusion of (i). the midpoint of arc AMB, ∠APB −∠ACB =∠FPG −∠AGB (ii) Using (i), we only need to show the =∠FA G. ∠JCQ =∠MCB =∠MCA =∠MBP. area of hexagon AC1BA1CB1 is at least Similarly, ∠APC − ∠ABC = ∠FA H. So ∆JQC, ∆MPB are similar. twice the area of ∆ABC. So AF bisects ∠HAG. Let K be the B incenter of ∆HAG. Then K is on AF By the intersecting chord theorem, AP·BP and lines HK, GK pass through the = NP·MP = 2LP·MP. Using the similar D H A2 A midpoints I, J of minor arcs AG, AH triangles above, we have respectively.