Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
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
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

The Broken Chord Theorem
by Paper Folding

The applet below is an illustration of an elegant theorem credited to Archimedes.

  On the circumcircle of triangle ABC, point P is the midpoint of the arc ACB. PM is perpendicular to the longest of AC or BC. Prove that M divides the broken line ABC in half.

Assume for the definiteness' sake that AC > BC, so that M lies on AC and the theorem states that

(1) AM = MC + BC.

To get an insight into the likely origins of the problem, we'll start with an isosceles triangle APF in which AP = PF. The altitude from the apex naturally cuts the base AF at the midpoint M. Now choose any point C on MF. Draw line PC and reflect F in PC to obtain B. Triangles PCB and PCF are equal and so are their corresponding elements. Importantly, the angles at B and F are equal. But the latter is one of the base angles in an isosceles triangle. Thus it is equal to the other base angle. By transitivity, we see that angles CAP and CBP are equal. If so, the quadrilateral ABCP is cyclic.

This shows that the configuration in the Broken Chord theorem is naturally arrived at by paper folding. For a proof one only needs to unfold the paper. Or so it seems ...


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

We may start with extending AC to F, as in another proof. But first note that the problem presents several pairs of inscribed angles subtended by the same arcs. For this proof, we are interested in three pairs (all different from the one used elsewhere):

  a = PAC = PBC,
b = ABP = ACP,
g = BAC = BPC.

The three angles are not independent. Since DAPB is isosceles we observe that

(2) a + g = b.

We now proceed with the construction. Let F lie on the extension of AC so that CF = BC. DBCF is isosceles. Its apex angle is exterior to DABC, from which we conclude that

  BCF = a + b + g = 2b.

If T is the point (not shown in the applet) where PC crosses BF, then FCT is vertical to ACP = b. This implies that PC is the bisector of BCF and that F is indeed the reflection of B in PC. And the unfolding is completed.

Nathan Bowler came up with a shorter and a more direct argument. First observe that

  BAP + BCP = p.

But

  BAP = ABP = b = ACP.

So it follows that PC is the external angle bisector at C of DBCF. Which, in turn, implies that the reflection F of B falls on the extension of AC. A shorter way to unfolding!

As an extra insight, observe that we might have reflected in PC vertex A instead of B. This would produce another isosceles triangle BPG equal to APF. A proof may now be built based the fact that the triangles are obtained from each other by a rotation around P.

The Broken Chord Theorem

  1. A Proof Close to Archimedes'
  2. A Proof by Gregg Patruno
  3. A Proof by Paper Folding
  4. A Proof by Stuart Anderson

Paper Folding Geometry

Copyright © 1996-2008 Alexander Bogomolny

28715763Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

A typo in
Posted by alexwajn
1 messages
11:36 PM, Apr-19-08