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

Equilic Quadrilateral I: 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

Discussion

Copyright © 1996-2008 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

 

 

 

 

The applet may suggest the following statement due to Jack Garfunkel [Honsberger]:

  If an equilateral triangle DCQ is drawn on the side DC (away from AB) of an equilic quadrilateral ABCD (AD = BC), then the triangle ABQ is also equilateral.

(To remind, a quadrilateral ABCD is called equilic if it has a pair of equal opposite sides inclined 60° to each other. In the problem, AD = BC.)

 

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

Triangles ADQ and BCQ are equal. Indeed, by construction, AD = BC and DQ = CQ. Now, on the surface, the proof proceeds smoothly. We have to consider two possible cases as shown the diagrams below:

 

We denote the angles in the quadrilateral by a single letter as in the corresponding vertex so that, by construction, angleA + angleB = 120°. Therefore, angleC + angleD = 240°. Taking up the left diagram:

 
angleADQ= angleD + 60°
 = 240° - angleC + 60°
 = 300° - angleC
 = 360° - angleC - 60°
 = angleBCQ.

It follows that ΔADQ = ΔBCQ. In particular, angleAQD = angleBQC. Thus, by removing and adding equal angles from and to angleCQD we still get an angle of 60°. Therefore, angleAQB = 60°. Since also AQ = BQ (as the corresponding sides in equal triangles), ΔABQ is indeed equilateral.

In the case of the right diagram above we similarly arrive at the same conclusion. Q.E.D.

A Flaw in the Proof

Now, this proof contains a subtle flaw. For the convenience sake, to simplify the process of drawing an equilic quadrilateral, I used the fact that the two sides AD and BC make a 60° angle so that their intersection S is bound to a 240° arc above AB. The statement we have attempted to prove is equivalent to stating that Q lies at the middle of that arc. The argument was based on the fact that their were just two possibilities: either C or D is inside ΔABQ whereas the other one is outside. However, if Q does not lie on the arc, two other possibilities have to be considered: either both C and D are inside or outside ΔABQ. It appears that we based our proof on an assumption equivalent to the statement to be proved.

A valid proof

References

  1. R. Honsberger, Mathematical Gems III, MAA, 1985, pp. 32-35

Copyright © 1996-2008 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

 

 

 

A Valid Proof

A rotation around Q through 60° maps D to C and A to, say, A' such that CA' and AD form a 60° angle. But the same is true of AD and CB. Therefore, A' = B. It follows that that rotation maps the whole ΔADQ on top of ΔBCQ. The triangle are then equal, their angles at Q are also equal, and we can proceed as before to conclude that angleAQB = 60°.

Besides establishing the fact it was intended to prove, the proof has a virtue of suggesting a generalization.

Copyright © 1996-2008 Alexander Bogomolny

28761665Page 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

A Riddle
Posted by idavis1
33 messages
06:59 AM, May-15-08

Josephus Flavius (correction)
Posted by David Turner
1 messages
09:42 AM, May-14-08