Three Congruent Circles by Reflection III: What is this 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
What if applet does not run?

Explanation

|Activities| |Contact| |Front page| |Contents| |Store| |Geometry|

Copyright © 1996-2012 Alexander Bogomolny

The applet attempts to illustrate a theorem by Quang Tuan Bui

  Given ΔABC and a point P with the pedal ΔPaPbPc, as usual. Let Ba and Ca be reflections of B in Pc and C in Pb, respectively. (Oa) is the circumcircle of ΔABaCa. The points Ab, Cb, Ac, Bc, and the circles (Ob) and (Oc) are defined similarly. Then the three circles (Oa), (Ob) and (Oc) are congruent.

 

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
What if applet does not run?

Note that the theorem generalizes two previous results where the vertices of a triangle have been reflected in the altitudes and its angle bisectors. The former is obvious. The latter stems from an observation that, if I denotes the incenter of ΔABC with pedal points Ia, Ib and Ic, the reflection in IA of the reflection in IC of B is the reflection of B in IIc.

Proof of the theorem

We proceed very much in the spirit of the other two statements. Let O and O(P) be the circumcenter of ΔABC and the circle through P with center O. Introduce further

 
A'midpoint of AP
B'midpoint of BP
C'midpoint of CP
Apreflection of Pa in midpoint Ma of BC
Bpreflection of Pb in midpoint Mb of AC
Cpreflection of Pc in midpoint Mc of AB
Xreflection of P in OMa
Yreflection of P in OMb
Zreflection of P in OMc

Naturally, X, Y, and Z all lie on O(P), so that, for example, PPaApX is a rectangle with one midline through O. We may also conclude that (Oa) is the reflection of O(P) in A' and similarly for (Ob) and (Oc) from which it follows that the latter three are indeed congruent and have the radius of OP.

|Activities| |Contact| |Front page| |Contents| |Store| |Geometry|

Copyright © 1996-2012 Alexander Bogomolny

 40619625

A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help
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
Old and nice bookstore
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Search:
Keywords:

Google
Web CTK
Supported by
3wVentures