Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Learning Math Online
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help

III Millennium Olympiad

Games & Puzzles
What Is What
Arithmetic
Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Manifesto  |  Bookstore  |  Contents  |  Amazon store  |  Term index  |  What changed?  |  Contact  |  Recommend
RSS Feed: Recent changes at CTK

A problem with incircles and circumcircles: What is it about?
A Mathematical Droodle

 

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Buy this applet

Explanation

Copyright © 1996-2010 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

 

 

 

Explanation

Let I be the incenter of ΔABC. Consider 3 triangles: IBC, ICA, and IAB. An interesting fact is that the circumcenters of these triangles lie on the circumcircle of ΔABC.

 

Indeed, let D be the circumcenter of ΔIBC. D lies at the intersection of the perpendicular bisectors MaD, MbD, and McD of sides BC, IC, and IB. We want to show that D lies on the circumcircle of ΔABC.

Angles MaDMc and IBC have pairwise perpendicular sides. Therefore they are equal. And similarly for angles MaDMb and ICB:

(1) ∠MaDMc = ∠IBC = ∠B/2
∠MaDMb = ∠ICB = ∠C/2

From (1) we obtain

 
∠MaDMc + ∠MaDMb = ∠MbDMc
 = ∠IDMb + ∠IDMc
 = ∠IDC/2 + ∠IDB/2
 = ∠CDB/2

Comparing this to (1) gives ∠CDB = ∠C + ∠B. In other words, ∠CDB + ∠A = 180o, which exactly means that D lies on the circumcircle of ΔABC.

It is also clear that the circumcenter D of ΔBIC lies on bisector AI of ∠BAC.

Remark

A weaker variant of the problem has been offered at the 1988 USA Olympiad where it was required to prove that the circumcircles of ΔABC and ΔOAOBOC are concentric.

In [Johnson, p. 185-185, 292°] the problem appears thus: Let D be the intersection of the A-bisector of ΔABC with the circumcircle. Then the circle centered at D with the radius equal to DB (= DC) passes through the incenter I.

References

  1. R. Honsberger, From Erdös To Kiev, MAA, 1996, pp. 56-57.
  2. R. A. Johnson, Advanced Euclidean Geometry (Modern Geometry), Dover, 1960

Copyright © 1996-2010 Alexander Bogomolny

35694206Page copy protected against web site content infringement by Copyscape

Search:
Keywords:

Google
Web CTK