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

A Neglected Pythagorean-Like Formula

A generalization of the Pythagorean Theorem has been published by Larry Hoehn (2000), whose article has been also included in C. Pritchard's collection.

 

In an isosceles triangle with sides c draw a cevian of length a and assume its foot divides the base into segments b and d. Then [Hoehn]

(1) c2 = a2 + bd.

The statement is a clear generalization of the Pythagorean theorem. The latter is obtained when the selected cevian coincides with the axis of symmetry (altitude, median, angle bisector) of the triangle, i.e. the case where d = b.

On the other hand, (1) can be derived by a double application of the Pythagorean theorem. Indeed, let the triangle be ABD, with the cevian BC. Draw the axis BE. From the right triangle ABE,

(2) c2 = BE2 + AE2.

From the right triangle CBE,

(3) a2 = BE2 + EC2.

Subtracting (3) from (2) we get

(4)
c2 - a2= AE2 - EC2
 = (AE - EC)·(AE + EC)
 = bd,

where (with FE = EC) AE + EC = AF = CD = d.

 

The proof reminds one of a proof of the law of cosines to which (1) appears to be related. Indeed,

  d = CD = AF = AC + 2·EC,

so that (1) is the same as

(5) AB2 = BC2 + AC2 + 2·EC·AC,

which is Euclid II.12 for ABC.

On the other hand,

  b = AC = DF = DC - 2·EC.

Thus (1) is the same as

(6) BD2 = BC2 + DC2 - 2·EC·DC,

which is Euclid II.13 for BCD.

This is a nice property: a single formula (1) covers both cases - for obtuse and acute angles - that Euclid treats separately. This is exactly a feature of the law of cosines, where the behavior of cosine absorbs the change of sign between (5) and (6).

Remark

Nathan Bowler observed that a simpler proof is obtained from the intersecting chords theorem applied in a circle with radius c centered at B. Extend BC in both directions to the intersection with the circle. Now you have two chords that meet at C:

(c - a)·(c + a) = bd.

Ricardo Sandoval adds to that that point C may lie outside segment AD in which case Power of a Point theorem leads to

(a - c)·(a + c) = bd,

or the same identity with one of b or d thought negative.

References

  1. T. L. Heath, EUCLID: The Thirteen Books of The Elements, books I and II, Dover, 1956
  2. L. Hoehn, A Neglected Pythagorean-Like Formula, Mathematical Gazette, 84 (2000), pp. 71-73
  3. C. Pritchard, The Changing Shape of Geomtetry, Cambridge University Press, 2003, pp. 228-231

Copyright © 1996-2008 Alexander Bogomolny

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

product of fractions
Posted by ke_45
3 messages
08:37 AM, May-06-08

Distance to the horizon
Posted by Monty
3 messages
04:38 PM, May-08-08

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

Nim Games - a query
Posted by Akash Kumar
1 messages
08:53 AM, Apr-15-08

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