Documente Academic
Documente Profesional
Documente Cultură
Mathematics
Education
A series
THE mHASOREAN
PROPOSITION
Elisha scon Loomis
THE
NATIONAL COUNCIL
OF T E A C H E R S
OF
MATHEMATICS
HE PYTHAGOREAN
PROPOSITION
ELISHA S. LOOMIS
1IE PYTHUOIEU
mOPOSITlOH
Its Demonstrations Analyzed and Classified
and
Bibliography of Sources for Data of the
Four Kinds of Proofs
Classics
T
PREFACE
vi
FOREWORD
I.
Those based upon Linear Relations (i
plying the Time Concept)--the Algebraic Proofs.
vii
viii
II.
Those based upon Comparison of Areas
(implying the Space Concept)--the Geometric Proofs.
III.
Those based upon Vector Operation (im
plying the Direction Concept)--the Quaternion!c
Proofs.
IV.
Those based upon Mass and Velocity (i
plying the Force Concept)--the Dynamic Proofs.
Second, that the number of Algebraic proofs
is limitless.
Third, that there are only ten types of geo
metric figures from which a Geometric Proof can be
deduced.
This third fact is not mentioned nor implied
by any work consulted by the author of this treatise,
but which, once established, becomes the basis for
the classification of all possible geometric proofs.
Fourth, that the number of geometric proofs
is limitless.
Fifth, that no trigonometric proof is possi
ble .
By consulting the Table of Contents any in
vestigator can determine in what field his proof
falls, and then, by reference to the text, he can
find out wherein it differs from what has already
been established.
With the hope that this simple exposition of
this historically renowned and mathematically funda
mental proposition, without which the science of Trig
onometry and all that it implies would be impossible,
may interest many minds and prove helpful and sugges
tive to the student, the teacher and the future orig
inal investigator, to each and to all who are seeking
more light, the author, sends it forth.
CONTENTS
Figures
Page
F o r e w o r d ..............................................
vii
P o r t r a i t s ............................................
xi
A c k n o w l e d g m e n t s ......................................x i i i
Abbreviations
and Contractions
.......................
xv
.........................
Information
.......................
S u p p l e m e n t a r y H i s t o r i c a l D a t a ..................
11
An Arithmetico-Algebraic
17
Rules
o f V i e w ........
for F i n d i n g I ntegral V a l u e s
Methods
I.
Point
f o r a, b
and h
of P r o o f 4 M e t h o d s .....................
Algebraic Proofs
Through LinearRelations
19
22
. .
23
23
85
60
(i)
...
54- 85
60
76
6l
68
77- 85
86- 87
74
80
88- 92
F. Algebraic-Geometric C o m p l e x ..............
95- 99
83
86
88
(1) The
Method of
Chords
......
(2) The
Method by
S e c a n t s ....... 69-
-68
51
54
93- 94
....................
100-103
....................
104-171
91
97
98
B-Type.
The
h-squareconst*d interior
172-193
144
C-Type.
D-Type.
The
The
b-squareconst*d interior
a-squareconst*d interior
.
.
.
.
194-209
210-216
158
E-Type.
F-Type.
The
The
hh-
and
and
b-sq*s const*dinterior217-224169
a-sq*sconst*dinterior225-22817 4
and
G-Type.
The
a-
H-ltype.
All
ix
248-255
165
185
Figures
I-Type.
ing
Page
19
different cases. . . .
189
191
193
2 01
206
208
209
215
J-Type.
..........
2l6
216
2given . . . .
307-509
218
1given
3 1 0 -3 1 1
219
. . . .
. . . .
0
312-315
. . . .
221
0
314-328
222
230
230
244
246
....................
351-353
248
252
254
258
271
277
281
..... ...................
PORTRAITS
1. Loomis, Elisha S
. . Frontispiece
2. Copernicus
facing page
if
it
. .
5. Descartes . . .
88
244
....
"
"
118
5. Galileo . . . .
6. Gauss ........
"
ii
188
l6
7. Leibniz . . . .
"
8. Lobachevsky . .
it
it
58
210
9. Napier
....
"
"
144
10. Newton
....
. .
M
u
"
..
168
g
12. Sylvester . . .
ff
"
266
4. Euclid
11. Pythagoras
xi
ACKNOWLEDGMENTS
Every man builds upon his predecessors.
xiv
xv
xvi
GOD GEOMETRIZES
CONHNCALLY-/M7W
ble.
3
16 2
l2 + (-f)2 = (l)2 ; 8 2 + 6 2
+ 122 = 2 0 2; all of which are
The base U
k6
k6
PYTHAGORAS
Prom a Fresco by Raphael
10
11
" B o m at Samos, c.
501,
B.C."
582
B.C.
Died
12
13
*Note.
Perhaps J.G.
41, p. 41.
See Notes
and
Queries,
1879, Vol.
V, No.
Mb
18
19
/n2 - 1\2
" ( 2) '
4n2 + n3
4 - 2n2 + 1
n2 - 1
For
-( ^ r
- 1, and
\2
2
m4
m2
" 1J = m + 16 - T + 1
= Sl + n + 1 = ('iSi+ 1 \2
16
2
1
\ 4
7 *
numbers.
For m2 +
m2
(T
1
t and g are three such numbers.
20
d/^)2 ( 2 - p ) *
xy +
x2
2xy + y2
Then m 2,
and
2
For m 2 + -
m2 + n2
are three such numbers.
2n
4m2n2 + m 4 - 2m2 + n2 + n4
4n2
/ mg + ng
V
2n
5. Dicksons Rule: Let m and n be any two prime in
tegers, one even and the other odd, m > n and 2mn
a square. Then m + \/2mn, n + \/2mn and m + n
+ \/2mn are three such numbers. For (m + \/2mn)2__
+ (n + v/2mn) 2 + m2 + n2 + 4mn + 2m / 2mn + 2n \/2mn
= fm + n + \/2mn)2 .
6. By inspection it is evident that these five rules,
--the formulas of Pythagoras, Plato, Euclid,
Maseres and Dickson,--each reduces to the formula
of Dr. Martin.
In the Rule of Pytnagoras: multiply by 4 and
square and there results (2n)2 + (n2 - l)2 = (n2+ l)2,
in which p = n and q = 1.
In the Rule of Plato: multiply by 4 and
square and there results (2m)2 + (m2 - 22)2
= (m2 + 22 )2, in which p = m and q = 2.
In the Rule of Euclid: multiply by 2 and
square there results (2xy)2 + (x - y)2 = (x + y)2, in
which p = x and q = y.
In the Rule of Maseres: multiply by 2n and
square and results are (2mn)2 + (m2 - n2)2
= (m2 + n2)2, in which p = m and q = n.
In Rule of Dickson: equating and solving
_ /m + n + 2 \/2mn + Vm - n
2
and
21
/m + n + 2 /2mn - /m - n
^ ~V
METHODS OF PROOF
Method is the followini of one thini
LhLQ.lLi.lL another.
Qrder is the followtni of
one thini aft_er another.
22
ALGEBRAIC PROOFS
23
of
as
as
of
One
CVI
j?
24
a.
By the law of combinations there are pos
sible 20 sets of three equations out of the six dif
ferent equations. Rejecting all sets containing (5)
and (7 ), and all sets containing dependent equations,
there are remaining 1J> sets from which the elimina
tion of x and y may be accomplished in 44 different
ALGEBRAIC PROOFS
25
Two
Pig. 2
(1 )
(2 )
(3 )
(4)
(5 )
(6 )
b
b
h
b
b
h
:
:
:
:
:
:
h
a
a
h
a
a
=
=
=
=
=
=
a
a
x
h
h
b
:
:
:
:
+
Produce AH to C so that CB
will be perpendicular to AB at B.
Denote BH, HA, AB, BC and
CH by a, b, h, x and y respfy.
The triangles ABH, CAB and
BCH are similar.
From the continued proportion b : h : a = a : x : y = h : b
+ y : x, nine different simple proportions are possible, viz.:
X.
(7) a : x = h : b + y.
(8 ) a : y = h : x.
y.
(9) x : b + y = y : x, from
y.
b + y.
which six different
X.
equations are possible
as
in One above.
y : x.
26
In Fig. 4 extend AB to
C making BC = BH, and draw CD
perp. to AC. Produce AH to D,
forming the two similar trifs
ABH and ADC.
From the continued proC
portion b : h + a = a : x
= h : b + x three equations are
possible giving, as in fig. J>,
three proofs.
Math. Mo., V. Ill, p. 6 7 .
F Lye
Fig. 5
ALGEBRAIC PROOFS
27
28
Seven
\
\
\
Fig. 7
Produce AB to E, fig. 7,
and through E draw, perp. to AE,
the line CED meeting AH pro
duced in C and HB produced in D,
forming the four similar rt.
tri1s ABH, DBE, CAE and CDH.
a. As in fig. 6, eigh
teen different equations are
possible from which there are
also 4864 proofs.
b. Therefore the total
no. of ways of proving that h2
*= a2 + b2 from 4 similar rt.
trifs related as in fig's 6 and
7 is 9728.
c. As the pt. E approaches the pt. B, fig. 7
approached fig. 2, above, and becomes fig. 2, when E
falls on B.
d. Suppose E falls on AB so that CE cuts HB
between H and B; then we will have 4 similar rt. tri's
involving 6 unknowns. How many proofs will result?
Eiflht
In fig. 8 produce BH to D, making BD = BA,
and E, the middle pt. of AD, draw EC parallel to AH,
and join BE, forming the 7 similar rt. triangles AHD,
ECD, BED, BEA, BCE, BHF and AEF, but six of which
ALGEBRAIC PROOFS
29
y,
BE =
h + a
: a : x
: x : b/ 2
: z : y - v
= 2x : x : h : y : v : b - z .
From this continued proportion there result
45 simple proportions which give 28 different equa
tions, and, as groundwork for determining the number
of proofs possible, they are here tabulated.
(1) b
(2) b
(3) h
(4) b
(5) b
(6) h
Eq. 1.
Eq. I3.
Eq. 2.
Eq. 4.
30
O
OJ
ALGEBRAIC PROOFS
31
(50)
(3 1 )
(32)
(33)
(34)
(35)
(3 6 )
52
, 5 , 4; 2, 5, 6; 7, 8, 9; 10 , 11 , 12; 6
1 , l, l
1 5 , 5; 14, 1 5 , 1 6 ; 17 , 18 , 19 ; 20 , 21, 22; 23, 24 9
25; 26, 27 , 28 ; 1 , 2, 2; l, 5, 5; l, 7 , 7; l, 1 0 , 10;
; 5, 10 , 23 ; 7,
1 , 6, 6 2 , 7 , 14; 2, 1 0 , 17; 5,
2 6 ; 6, 14, 20; 6, 17, 25; 14, 17, 26; 20, 23, 26;
1, 5, 5 ; 1 , 8, 8; 1, 1 1 , ll; 5, 8 , 15; 5, 11, 1 8 ; 6,
8, 21; 6, 11, 24; 8, 1 1 , 27; 15, 15, 21; 13, 18, 24;
15,
27 ; 2 1 , 24 , 27; 1 , 4, 4; 1, 9, 9; 1, 12, 12;
4, 9, 16; 4, 1 2 , 1 9 ; 2, 9, 22 ; 2 , 12, 25; 9, 12, 2 8 ;
5, 1 6 , 22; 5, 19, 25; 16, 19, 2 8 ; 22, 25, 2 8 .
O
OJ
l>-
f1
00
O
r1
ALGEBRAIC PROOFS
33
54
a.
The three unknowns x, y and z occur in
the following 11 equations, viz., 2, 3, 4, 6, 7, 11,
13, 14, 1 8 , 20 and 24, and from these 11 equations
,
, n . 11 . 10 . 9 . 8
9 8 or
J>6 of the
ALGEBRAIC PROOFS
55
36
Solutions
ALGEBRAIC PROOFS
37
Also from the three triangles AHD, BEA and BCE pro
portions (4) and (8 ) follow, and from the three tri
angles AHD, BHE and BCE proportions (10) and (57)
give at once h2 = a2 + b2 .
See Am. Math. Mo., V. Ill, pp. 169-70.
Nine
Fig. 9
a.
Prom this continued prop*n 18 simple pro
portions are possible, giving, as in fig. 6 , several
thousand proofs.
b. See Am. Math. Mo., V. Ill, p. 171.
Jen
In fig. 10 are three simi
lar rt. tri's, ABH, EAC and DEF,
from which the continued propor
tion
Fig. 10
(HA = b)
: (DF
= (HB =
: (FE
: (AE = h + v
: (AC = h + v)
= DC = x)
a) : (CE = y)
= z) = (AB = h)
+ z ) : (DE = y - x)
38
Eleven
Prom D in HH, so that DH
= DC, draw DC par. to HB and DE perp.
to AB, forming the 4 similar rt.
tri!s ABH, ACD, CDE and DAE, from
which the continued proportion
3
Fig. 11
Twelve
The construction of fig. 12
gives five similar rt. triangles,
which are: ABH, AHD, HBD, ACB and
BCH, from which the continued
prop*n
(BH = a) : (HD = x) : (BD = y)
Fig. 12
(CB =
: (CH =
= (HA = b )
(DA = h - y)
-J L )
ALGEBRAIC PROOFS
39
Fig. 13
DF : b2 - rr-
a : h; /.DF = a ^
b ' '
bh
- iH
)] - i k !HD + DF )]
- IWf Ha
]
ah
4b
ab
4b
. fn \ 1
ah2 + ab2 - a3
(5) 2 ab = ----- 4b-----
40
whence (6) h2 = a2 + b2 .
a. This particular proof was produced by
Prof. D. A. Lehman, Prof, of Math, at Baldwin Uni
versity, Berea, 0., Dec. 1899.
b. Also see Am. Math. Mo., V. VII, No. 10,
p. 228.
Fourteen
Take AC and AD = AH
and draw HC and HD.
Proof. Tri's CAH and
HAD are isosceles. Angle CHD
is a rt. angle, since A is
equidistant from C, D and H.
Angle HDB = angle CHD
+ angle DCH.
= angle AHD + 2 angle CHA = angle CHB.
tri's HDB and CHB are similar, having an
gle DBH in common and angle DHB = angle ACH.
CB : EH = BH : DB, or h + b : a = a : h - b.
Whence h2 = a2 + b2 .
a. See Math. Teacher, Dec., 1925- Credited
to Alvin Knoer, a Milwaukee High School pupil; also
Versluys, p. 8 5 , fig. 95; also Encyclopadie der Elementar Mathematik, von H. Weber und J. Wellstein,
Vol. II, p. 242, where, (1905), it is credited to
C. G. Sterkenburg.
F ifteen
ALGEBRAIC PROOFS
41
Suppose it is less.
42
Seventeen
Take AE = 1, and draw EF
perp. to AH, and HC perp. to AB.
HC = (AC x FE)/FE, BC = (HC x FE)/AF
= (AC x FE)/AF x FE/AF = AC x FE2/AF2
and AB = AC x CB = AC + AC x FE2/AF2
= AC(l + FE2 )/AF2 = AC (AF2 + FE)2/AF2.
(1 ).
ALGEBRAIC PROOFS
^3
Ej_gh teen
From sim. tri's ABC and BCH,
HC = a2/b. Angle ABC = angle CDA
= rt. angle. From sim. trifs AHD
and DHC, CD = ah/b; CB = CD.
Area
of tri. ABC on base AC = \ (b + a2/b)a.
Area of ACD on base AD = -|(ah/b)h.
Fig. 18
h2 = a2 + b2 .
a. See Versluys, p. 72, fig. 79.
N ineteen
Trifs 1,
2 and 3 are sim
ilar. From tri's
1 and 2, AC
= h2/a, and CD
= hb/a. From
tri1s 1 and 3,
EF = ha/b, and
FB = h2/b.
Tri. CFH
Fig. 19
= tri. 1 + tri.
2 + tri. 3 + sq.
AE.
So i (a + h2/ b ) (b + h2/ a ) = -|ab + ^h2 (b/a) + |h2 (a/b)
+ h2, or a2b2 + 2abh2 + h 4 = a2b2 + h 2a + h2b + 2abh2,
or h4 = h2a2 + h2b2 . .*. h2 = a2 + b2 . Q.E.D.
a. See Versluys, p. 2 3 , fig. 80.
Iwen tjr
CA.
44
Iwent^-Two
In fig. 22, it is obvious
that:
ALGEBRAIC PROOFS
^5
Iwen.ty.-Ih ree
For figure, use fig. 22 above, omitting lines
EC and ED. Area of sq. AD = (2 area of tri. DBH
= rect. BF) + (2 area of tri. HAC = rect. AF)
= 2 x Ja 2 + 2 x ^b2 = a2 + b2 = h2 . /. h2 = a2 + b 2 .
Or use similar parts of fig. 515, in geometric proofs.
a.
See Versluys, p. 76, proof 6 6 , credited
to Meyer*s, 1 8 7 6 , collection.
Jwent^-Four
1876.
b. Proofs Twenty-Two, Twenty-Three and TwentyFour are only variations of the Mean Proportional
Principle,--see p. 51* this book.
Iwen t^-F j_ve
At A erect AC = to, and
perp. to AB; and from C drop (CD
Ctu
= AH) perp. to AH. Join CH, CB and
DB. Then AD = HB = a. Tri. CDB
= tri. CDH = iCD * DH.
Tri. CAB = tri. CAD + tri.
DAB + (tri. BDC = tri. CDH = tri.
CAH + tri. DAB). .*. fh2 = a2 + ib2 .
h2 = a2 + b2 .
a.
See Versluys,
p. 84, one of
77 > fig.
Meyer's, 1 8 7 6 , collection.
IwentSix
From A draw AC perp. to, and = to AB. Join
CB, and draw BF parallel and = to HA, and CD parallel
to AH and = to HB. Join CF and BD.
46
1_2
2a
, 1-. 2
. ,2
.\ |h2
, -.2
' 2 h = L + D .
a. See Versluys, p. 77* fig.
85, being one of Meyer's collection.
Iwent^-Seven
ALGEBRAIC PROOFS
^7
N J_ne
to
and
PHA
(area
ih2
Pig.
col
ItLlntz
Draw PH perp. to AB, making
PH = CD = AB. Join PA, PB, CA and
/CP
CB.
t''r
Tri. ABC = (tri. ABH + quad.
/'
AHBC)
=
(quad.
AHBC + quad. ACBP),
/^
f
/ \'\
since PC = HD. In tri. BHP, angle
BHP = 180 - (angle BHD = 90 + angle
HBD). So the alt. of tri. BHP from
a itr
iji\f t the vertex P = a, and its area = ia2;
likewise tri. AHP = ib2 . But as in
Fig. 28
fig. 2 7 above, area AHBP = ih2 .
h2
= a2 + b2 . Q.E.D.
a. See Versluys, p. 80, fig. 90, as one of
Meyerfs, 1 8 7 6 , collections.
Ihrt^-One
48
Fig. 29
Ih i_rt^-Iwo
Another Reductio ad Absurdum
proof--see proof Sixteen above.
Suppose a2
a + b2
b > h2
h .
Then
AC + p* > b
and CB2 + p2 >
.\ AC2 + CB2 + 2p 2 > a2 + b2 > !
As
Fig. 30
2AC
2p2 = 2 (AC x BC ) then AC2 + CB
x CB > a2 + v2 , or (AC + CB)2 > a2
+ b2 > h2 or h2 > a2 + b2 > h , or h2 > h2, an absurdity. Similarly, if a2 f b2 < h2
h a + b2
Q.E.D.
a,. See Versluys, p. 6 0 , fig. 64 .
ItLiLtY-ItLC
Sq. A D = (area of 4 trifs
= 4 x tri. ABH + area of sq. KF)
= 4 x Jab + (b - a)2 = 2ab + b2
- 2ab + a2 = a2 + b2 . .-. h2 = a2 + b2.
a. See Math. Mo., 1858-9,
Vol. I, p. 56l, and it refers to
this proof as given by Dr. Hutton,
(Tracts, London, 1812, 5 Vol., 800)
in his History of Algebra.
Fig. 31
ALGEBRAIC PROOFS
49
Th irty-Fou r
Let BH = x, and HF = y;
then AH = x + y; sq. AC = 4 tri.
ABH + sq. HE = 4 ^x fc +
+ 1
=
+
=
=
Fi_ve
50
1.
2.
J.
4.
Ih ir t^-S j_x
Fig.
Jc
ItiLtZr.Se ven
Since trifs ABH and CDH are similar, and CH
= b - a, then CD = h(b - a)/b, and DH = a (b - a)/b.
Draw GD. Now area of tri. CDH = i (b - a) * a (b - a)/b
= |a(b - a)2/b.
(l)
ALGEBRAIC PROOFS
51
\l
(2)
Area of tri. GDC =
J
= M
^h
--- (3)
Principle
52
BH2 = A H x H L = F H x H L = FDLH
= a2 . Sq. AK = paral. HCEL
= paral. AGDL = a2 + b2 . .\ h2
= a2 + b2 . Q.E.D.
a.
See Versluys, p. 84,
fig. 94, as given by Jules
Camirs, 1889 in S. Revue
Eartjr
Draw A C . Through C draw
CD par. to BA, and the perp's AD,
HE and BP.
Tri. ABC = \ sq. BG
= \ rect. BD. .*. sq. BG = a2
= rect. BD = sq. EP + rect. ED
= sq. EF + (EA x ED = EH2 ) = sq.
EP + EH2 . But tri's ABH and BHE
ALGEBRAIC PROOFS
53
Fig. 39
Fqrt^-Iwq
Construction as in fig.
38. Paral. BDKA = rect. AG = AB
X BG = AB x BC = BH2 .
And AB
x AC = AH2 . Adding BH2 + AH2
= AB x BC + AB x AC = AB (AC + C B )
= AB2
h2 = a2 + b2 . Q.E.D.
a.
39, fig. 38 and there credited to
Oscar Werner, as recorded in
"Archiv. d. Math, und Phys.,,f Grunert, 1855; also see
Versluys, p. 64, fig. 67*, and Fourrey, p. 7 6 .
54
ALGEBRAIC PROOFS
55
Fig. 1*4
Extend KB to 0 in HE.
Through 0, and par. to HB draw
NM, making 0M and ON each = to
HA. Extend GF to N, GA to L,
making AL = to AG and draw CM.
Tri. ACL = tri. 0PM
= tri. ABH, and tri. CKP
= tri. ABO.
/. rect. 0L = sq. AK,
having polygon ALPB in common.
.*. sq. AK = rect. AM = sq. HG
+ rect. HN = sq. HG + sq. HD;
see proof Forty-Four above.
h2 = a2 + b 2 . Q.E.D.
a.
See Am. Sci. Sup.
V. 7 0 , p. 5 8 3 . Credited to
A. E. Colburn.
56
ALGEBRAIC PROOFS
57
Fort^-Nine
U til
I am giving this figure
of Cecil Hawkins as it appears
in Versluys1 work,--not reduc
ing it to my scale of h = l".
Let H B 1 = HB = a, and
H A 1 = HA = b, and draw A B* to
D in AB.
Then angle BDA! is a rt.
angle, since tri's BHA and B'HA*
are congruent having base and
altitude of the one res'ly perp.
to base and altitude of the other.
Now tri. BHB1 + tri. AHA1 = tri. BA'B1 + tri.
AB'A' = tri. BAA - tri. BB'A. .\ i2 a
a2 +1 i2 b2
= (a b x A'D - \ (AB x B'D) = |[AB(A'B' + B'D)]
- H a b x B'D) = j A B x A'B' + i AB x B'D - \ AI
B'D
= i AB
A'B' = i
h2 =
+
h = i
Q.E.D.
a. See Versluys, p. 71, fig. 76, as given hy
Cecil Hawkins, 1909, of England.
58
.\ h2 = a2 + b 2 . Q.E.D.
Or from (l) thus: |h2 + (b + a)(b - a) = b2
= ^b2 + ^-h - ^a. Whence h2 = a2 + b2 .
a.
See Versluys, p. 6 7 , fig. 71> as one of
Meyer's collection, of 1 8 7 6 .
EiftYrJwo
Given the rt. tri. ABH.
Through B draw BD = 2BH and par.
to AH. Prom D draw perp. DE to AB.
Find mean propl between AB and AE
which is BP. Prom A, on AH, lay
off AT = BP. Draw TE and TB, form
1
ing the two similar trifs AET and
ATB, from which AT : TB = AE : AT,
or (b - a )2 = h(h - EB), whence
EB = [h - (b - a)2 ]/h. (l)
Also EB : AH = BD : AB.
.\ EB = 2 a b / h . -- (2) Equating (l)
Fig. 50
and (2 ) gives [h - (b - a)2]/h
= 2ab/h, whence h2 = a2 + b2 .
a. Devised by the author, Peb. 28, 1926.
b. Here we introduce the circle in finding
the mean proportional.
ALGEBRAIC PROOFS
59
Fi ft^-Ihree
An indirect algebraic
proof, said to be due to the
great Leibniz
(1646-1716).
If (l) HA2 + HB2 = AB2,
then (2) HA2 = AB2 - HB2,
whence (3) HA2 = (AB + H B )
(AB - HB).
Take BE and BC each
equal to AB, and from B as
center describe the semicircle
CA'E. Join AE and AC, and
draw BD perp. to AE. Now (4)
HE = AB + HB, and (5) HC = AB
- HB.
(4) x (5) gives HE * HC
= HA*, which is true only when triangles AHC and EHA
are similar.
(6 )
angle CAH = angle AEH, and so (7)
: HA = HA : HE; since angle HAC = angle E, then angle
CAH = angle EAH. .\ angle AEH + angle EAH = 90 and
angle CAH + angle EAH = 90. /. angle EAC = 90.
vertex A lies on the semicircle, or A coincides with
A*.
EAC is inscribed in a semicircle and is a rt.
angle. Since equation (l) leads through the data de
rived from it to a rt. triangle, then starting with
such a triangle and reversing the argument we arrive
at h2 = a2 + b2 .
a.
See Versluys, p. 6 l, fig. 65, as given
von Leibniz.
Eiftl-Fftiit
*
Fig. 52
=
=
=
=
=
Let CB = x, CA = y and HC
p.
p2 = xy; x2 + p2 = x2 + xy
x(x + y) = a2 , y2 + p2 = y2 + xy
y(x + y) = b2 . x2 + 2p2 + y2
a2
+ b 2 .x2 + 2xy + y2 = (x + y )2
a2
+ b2 ./. h 2= a2 + b2 . Q.E.D.
60
a.
This proof was sent to me by J. Adams of
The Hague, Holland. Received it March 2, 193^> tut
the author was not given.
Elttl-Mve
(ID
C. - - The
Ci r c l e
Triangle
to the sum o f
the squares
ALGEBRAIC PROOFS
61
Seven
3, 1910.
Credited to A.
Take ER = ED and
Bisect HE. With Q as cen
ter describe semicircle
AGR. Complete sq. E P .
Rect. HD = HC * HE = HA
X HE = HB2 = sq. HP.
EG
is a mean proportional be
tween EA and (ER = E D ).
.\ sq. EP = rect. AD = sq.
AC + sq. HF. But AB is a
mean prop*l between EA and
(ER = ED). /. EG = AB.
sq. BL = sq. AC + sq. HP.
.-. h2 + a2 + b2 .
a.
See Sci. Am.
Sup., V. 70, p. 359, Dec.
. Colburn.
62
Fig. 57
With B as center,
and radius = AB, describe
circle AEC.
Since CD is a mean
proportional between AD and
DE, and as CD = AH, b2
= (h - a ) (h + a ) = h2 - a2.
.. h = a + b .
a.
See Journal of
Education, 1888, Vol. XXVII,
p. 3 2 7 , 2 1 st proof; also
Heath's Math. Monograph,
ALGEBRAIC PROOFS
63
6k
Sj_xt-Three
From the figure it
is evident that AH x HD
= HC.x HE, or b2 = (h + a)
(h - a) = h2 - a2. .-. h2
= a2 + b2 . Q.E.D.
a.
See Versluys,
p. 9 2 , fig. 106, and credit
ed to Wm. W. Rupert, 1900.
Fig. 6l
ALGEBRAIC PROOFS
65
Sixt^-Fgur
With CB as radius
describe semicircle BHA cut
ting HL at K and AL at M.
Arc BH = arc KM.
BN = NQ
= AO = MR and KB = KA; also
arc BHK = arc AMR = MKH = 90.
So tri's BRK and KLA are con
gruent. HK = HL - KL = HA
- OA. Now HL : KL = HA : OA.
So HL - KL : HL = HA - OA :HA,
or (HL - K L ) * HL = (HA - OA)
HA = (b - a )/b. .\ KQ = (HK 4. NL )LP = [ (b - a ) r b]
ib = \ (b - a ).
Now tri. KLA = tri. HLA - tri. AHK = b2
- ib k j(b - a) = ba = \ tri. ABH, or tri. ABH
= tri. BKR + tri. KLA, whence trap. LABR - tri. ABH
= trap. LABR- (tri. BKR + tri. KLA) = trap. LABR
- (tri. HBR + tri. HAL) = trap. LABR - tri. ABK.
tri. ABK = tri. HBR + tri. HAL; or 4 trir ABK = 4 tri.
HBR + 4 tri. HAL. .\ h2 = a2 + b2 . Q.E.D.
a.
See Versluys, p. 93> fig. 107; and found
in Journal de Mathein, 1897> credited to Brand.
(10/23,'33, 9 P. m. E. S. L. ).S
Sj_xt
Fj_ve
66
S i_xt^-Seven
Circumscribe about tri. ABH circle BHA. Draw
AD = DB. Join HD. Draw CG perp. to HD at H, and AC
and BG each perp. to CG; also AE and BP perp. to HD.
Quad's CE and FG are squares. Tri's HDE and
ALGEBRAIC PROOFS
67
+ b2.
a. See Math. Mo., 1859, by Runkle, Vol. II,
No. 2, Dem. 22, fig. 11.
68
b.
This is a particular case of Prop. XXXII
Book IV, p. 121, Davies Legendre {1 8 5 8 ) which is Ex
ercise 1 0 , in Schuyler*s Geom. (1 8 7 6 ), Book III, p.
175, or Exercise 2 5 8 , Wentworth1s New Plane Geom.
(1895), Book IIP, p. 176.
Seventy.
On any diameter as AE
= 2AH, const, rt. tri. ABH, and
produce the sides to chords.
Draw ED. From the sim. tris
ABH and AED, AB : AE = AH : AD,
or h : b + HE = b : h + BD.
h (h + B D ) = b (b + HE = b2 + b
x HE = b2 + HF x HC = b2 + HC2 .
-- (l) Now conceive AD to revolve on A as a center until D
coincides with C, when AB = AD
= AC = h, BD = 0, and HB = HC
= a. Substituting in (l) we have h2 = a2 + b2.
a. This is the solution of G. I. Hopkins of
Manchester, N.H. See his Plane Geom., p. 92, art.
427; also see Jour, of Ed., 1888, V. XXVII, p. 3 2 7 ,
l6th prob. Also Heath*3 Math. Monographs, No. 2,
p. 28, proof XV.
b. Special case. When H coincides with 0 we
get (1) BC = (b + c)(b - a)/h, and (2) BC = 2b2/h - h.
Equating,
h2 = a2 + b2 .
c. See Am. Math. Mo., V. Ill, p. 300.
(2) The Method by Secants.
Seventh-One
ALGEBRAIC PROOFS
or b + a : h = (h
69
2CB = h -
h
: b - a, whence h2 = a2 + b2.
a.
In case b = a, the
points A, E and F coincide and the
proof still holds; for substituting
b for a the above propfn reduces to
h2 - 2a2 = 0;
h2 = 2a2 as it
should.
b.
By j
F and D, the similar triangles upon
which the above rests are formed.
Seventy-Two
......
I\ /
Sevent^-Jhree
~~a>
Pig. 71
AE : AH = AH : AD. .*.
AH2 = AE x AD = AE(AB x BH)
= AE x AB + AE x BH. So AH2
+ BH2 = AE x AB + AE x HB
+ HB2 = A E x AB + HB(AE+BH)
= AB(AE + BH) = AB2.
h2
= a2 + b2. Q.E.D.
a. See Math. Mo.,
70
ALGEBRAIC PROOFS
71
Seventy-Five
In fig. 73a, take HF
= HB. With B as center, and
BF as radius describe semi
circle DEG, G being the pt.
where the circle intersects
AB. Produce AB to D, and
draw FG, FB, BE to AH pro
duced, and DE, forming the
similar tri's AGF and AED,
from which (AG = x ) : (AF = y )
= (AE= y + 2FH) : (AD = x
+ 2BG) = y + 2z : x + 2r
whence x2 + 2rx = y2 + 2yz.
(1).
But if, see fig. 73b,
HA = HB,
(sq. GE = h2 )= (sq.
HB = a2 ) + (4 tri. AHG = sq.
HA = b2 ),whence h2 = a2 + b2; then, (see fig. 73a)
when BF = BG, wewill have BG2 = HB2 + HF2, or r2
= z2 + z2 ,(since
z = FH). ---- (2).
(l) + (2) = (3) x2 + 2rx + r2 =y2 + 2yz + z2
+ z2 or (4) (x + r)2 = (y + z)2 + z2 . .*. (5) h2 = a2
+ b2, since x + r = AB = h, y + z = AH = b, and
z = HB = a.
a. See Jury Wipper, p. J>6, where Wipper also
credits it to Joh. Hoffmann. See also Wipper, p. 37,
fig. 34, for another statement of same proof; and
Fourrey, p. 94, for Hoffmann's proof.
S,ven t^-S j_x
72
ra
RA2 = HR2
Seventy-Seven
In fig. 75, let BCA be any triangle, and let
AD, BE and CF be the three perpendiculars from the
three verticles, A, B and C, to the three bides, BC,
CA and AB, respectively. Upon AB, BC and CA as diam
eters describe circumferences, and since the angles
ADC, BEC and CFA are rt. angles, the circumferences
pass through the points D and E, F and E, and F and
D, respectively.
ALGEBRAIC PROOFS
73
Sevent^-Eight
Produce KC and
HA to M, complete the
rect. MB, draw BP par. to
AM, and draw CN and AP
perp. to HM.
Draw the semi
circle ANC on the diame
ter AC. Let MN = x.
Since the area of the
paral. MPBA = the area of
the sq. AK, and since, by
the Theorem for the
74
0,
the center of the circ
lies on the bisector of angle B, and
on AH.
With the construction com
pleted, from the similar tri's ACD
and AHC, we get, calling 0C = r,
(AC = h - a ) : (AH = b ) = (AD = b - 2r)
: (AC = h - a).
(l) (h - a)2 = b2
- 2br. But (2) a2 = a2 . (1) + (2) = (3) (h - a)2
+ a2 = a2 + b 2
2br, or (h - a)2 + 2br + a2 = a2 + b2.
ALGEBRAIC PROOFS
75
Eighth-One
(2)
BC : BH = OC
BO
AH, whence BC
,hr
x_
,hr + br x
^ x
/hr + br x
= (
+ r)BE = (--- ---) (BO - OC) = (-------)
^hr_^_br^-- (4)
whence h2 = a2 + b2 .
Q.E.D.
76
E.Lahty.-Ih ree
Assume HB < HA, and employ
tang. HC and secant HE, whence HC2
= HE x HD = AD * AE = AG * AF = BF
x BG = BCi2 . Now employing like argu
ment as in proof Eighty-One we get
h2 = a2 + b 2 .
a. When 0 is the middle
Fig. 81
point of AB, and HB = HA, then HB
and HA are tangents, and AG = BF,
secants, the argument is same as (c), proof EightyTwo, by applying theory of limits.
b. When 0 is any pt. in AB, and the two legs
ALGEBRAIC PROOFS
77
78
(l)
EiflhtyzSix
The tangent points of the
three sides are C, D and E.
Let OD = r = 0E = OC, AB = h,
BH = a and AH = b.
A
Now,
(l)h + 2 r = a + b.
Fig. 8U
(2) h2 + 4hr + 4r2 = a2 + 2ab = b2.
(3) Now if 4hr + i 2 = 2ab, then
h = a + b .
(4) Suppose 4hr + 4r2 = 2ab.
(5) ^r (h + r ) = 2ab;
2r (h + r ) = ab.
(l) = (6) 2r = a + b - h.
(6) in (5) gives
(7) (a + b - h ) (h + r ) = ab.
ALGEBRAIC PROOFS
79
8o
ILatiti-ILaht
Construction. Upon the
legs of the rt. tri. ABH, as diam
eters, construct circles and draw
HC, forming three similar rt. tri's
ABH, HBC and HAC.
Whence h : b = b : AC. .\ hAC
= b2 . (!)
Also h: a = a : BC. .*. hBC
a2 . (2 )
(1) + (2) = (5) h2 = a2 + b2 . Q.E.D.
a. Another form is:
(1) HA2 - HC x AB.
(2) BH2 = BC x AB.
Adding, (3) AH2 + BH2 = AC * AB + BC * AB
= AB(AC + BC) = AB2 . .-. h 2 = a2 + b2 .
ALGEBRAIC PROOFS
81
b.
See Edwards1 Elements of Geom., p. l6 l,
fig. 34 and Am. Math. Mo., V. IV, p. 11; Math. Mo.
(1859), Vol. II, No. 2, Dem. 27, fig. 13; Davies
Legendre, 1 8 5 8 , Book IV, Prop. XXX, p. 119; Schuyler's
Geom. (1 8 7 6 ), Book III, Prop. XXXIII, cor., p. 172;
Wentworth's New Plane Geom. (l895), Book III, Prop.
XXII, p. 164, from each of said Propositions, the
above proof Eighty-Eight may be derived.
Eighth-Nine
With the legs
of the rt. tri. ABH as
radii describe circum
ferences, and extend AB
to C and F. Draw HC,
HD, HE and HF.
From
the similar trifs AHF
and HDH,
AF : AH = AH : AD
b2 = AF * AD. -(1)
From the similar tri's CHB and HEB,
CB : HB = HB : BE.
.-. a2 = CB * BE.---(2)
(l) + (2) = (3) a2 + b2 = CB x BE + AF AD
= (h + b ) (h - b ) + (h + a ) (h - a )
= h2 - b2 + h2 - a2;
.-. (4) 2h2 = 2a2 + 2b2 . .\ h2 = a2 + b2 .
a. Am. Math. Mo., V. IV, p. 12; also on p. 12
is a proof by Richardson. But it is much more dif
ficult than the above method.
82
=
=
=
=
=
=
=
=
=
=
=
=
and
or
AH : AD = AF : AH, or AC : AD = AF : AE
A C + A D : A F + A E = A D :AE
CD : CF = AD : AE,
AC - AD = AF - AE = AD : AE,
DE : EF = AD : AE.
/. CD : CF = DC : EF.
or (h + b - a): (h + b + a ) = ( a - h + b): (a + h + b)
+ b
ALGEBRAIC PROOFS
83
D. Ratio o f Areas
liinet-Ih ree
As the tri's ACH, HCB and
ABH are similar, then tri. HAC : tri.
BHC : tri. ABH = AH2 : BH2 : AB2,
and so tri. AHC + tri. BHC : tri.
^
ABH = AH2 + BH2 : AB2. Now tri. AHC
Fig. 89
+ tri. BHC : tri. ABH = 1 . .-. AB2
= BH2 + AH2.
h2 = a2 + b2 . Q.E.D.
a. See Versluys, p. 82, proof 77> where cred
ited to Bezout, 1768; also Math. Mo., 1859, Vol. II,
Dem. 5, P. ^5; also credited to Oliver; the School
84
^ s
SC
Fig.
91
y.
.. h = a + b .
a. Original with the author, March 26, 1926,
10 p.m.
ALGEBRAIC PROOFS
85
Ninet^-Six
Draw HL perp. to AB.
Since the trifs ABH, AHL, and
HBL are similar, so also the
squares AK, BE and HG, and
since similar polygons are to
each other as the squares of
their homologous dimensions,
we have
tri. ABH : tri. HBL : tri. AHL
= h 2 : a2 : b 2
= sq. AK : sq. BE : sq. HG.
But tri. ABH = tri. HBL + tri.
AHL. .\ sq. AK = sq. BE + sq.
HG.
h 2 = a2 + b2.
a. Devised by the author, July 1, 1901, and
afterwards, Jan. 15, 1954, found in Fourrey's Curio
Geom., p. 91, where credited to R. P. Lamy, 1 6 8 5 .
Ninety-Seven
Use fig. 92 and fig. 1.
Since, by equation (5 ), see fig. 1, Proof
One, BH2 = BA * BL = rect. LK, and in like manner,
AH^ = AB x AL = rect. AC, therefore sq. AK = rect.
LK + rect. AC = sq. BE + sq. HG.
/. h 2 = a2 + b2. Q.E.D.
a. Devised by the author July 2, 1901.
b. This principle of nmean proportional" can
be made use of in many of the here-in-after figures
among the Geometric Proofs, thus giving variations
as to the proof of said figures. Also many other fig
ures may be constructed based upon the use of the
"mean proportional" relation; hence all such proofs,
since they result from an algebraic relationship of
corresponding lines of similar triangles, must be
classed as algebraic proofs.
86
E. Al gebrai c Proof ,
Through Theory o f Li mi t s
Ninety-Eight
The so-called Pytha
gorean Theorem, in its simp
lest form is that in which
' I\
V i 3A : >
iUnet^-Nine
ALGEBRAIC PROOFS
87
88
Fig. 95
Let AD = AG = x, HG = HC = y, and BC = BE
Then AH = x + y, and BH = y + z.
With A as center and AH as radius describe
arc HE; with
Bas
center andBH
as radiusdescribe
arc HD; with
Bas
center, BEas radius describe arc
EC; with A as center, radius AD, describe arc DG.
= z.
NICHOLAS COPERNICUS
1473-1543
ALGEBRAIC PROOFS
/V*
89
Whence y = 2xz.
/. sq. AK = [(x2 + y2 + 2xy)
= sq. AL ] + [ (z + 2yz +
(2xz = y2 )] = sq. HP.
= a2 + b2 .
a. See Sci. Am. Supt., V. 84, p. 362, Dec.
,
1917* and credited to A. R. Colburn. It is No. 79
in his (then) 91 proofs.
b. This proof is a fine illustration of the
flexibility of geometry. Its value lies, not in a
repeated proof of the many times established fact,
but in the effective marshaling and use of the ele
ments of a proof, and even more also in the better
insight which it gives us to the interdependence of
the various theorems of geometry.
Q.n e _H u n d r e d _Iwg
Draw the bisectors of
angles A, B and H, and from
their common point C draw the
perp's OR, CX and CT; take AN
= AU = AP, and BZ = BP, and
draw lines UV par. to AH, NM
par. to AB and SY par. to BH.
Let AJ = AP = x, BZ = BP = y,
and HZ = HJ = z = CJ = CP
= CZ.
Now 2 tri. ABH = HB
x HA = (x + z)(y + z) = xy
+ xz + yz + z2 = rect. PM
+ rect. HW + rect. HQ + sq. SX.
90
Qn e _H un d re d _F ou r
Take AN and AQ = AH, KM and KR = BH, and
through P and Q draw PM and QL parallel to AB; also
draw OR and NS par. to AC. Then CR = h - a, SK = h
- b and RS = a + b - h.
ALGEBRAIC PROOFS
JJL
i_
I-- i- J.,
Fig. 99
91
Qne_Huridred__F|^ve
Tri's ACB, BDH and
HEA are three similar tri's
constructed upon AB, BH and
HA, and AK, BM and HO are
three corresponding rect's,
double in area to tri's ACB,
BDH and HEA respectively.
Tri. ACB : tri. BDH
: tri. HEA = h2 : a2 : b2
= 2 tri. ACB : 2 tri. BDA
= 2 tri. HEA = rect. AK
rect. BM : rect. HO. Produce LM and ON to their in
tersection P, and draw PHG. It is perp. to AB, and
by the Theorem of Pappus, see fig. 143, PH = QG.
by said theorem, rect. BM + rect. HO = rect. AK.
tri. BDH + tri. HEA = tri. ACB.
h2 = a2 + b2.
a.- Devised by the author Dec. J, 1953.
fine
u n d re d _S j_x
92
Regular Polygons
d red_E.j_g.ht
Any regular poly
gons can be resolved into
as many equal isosceles
trifs as the polygon has
sides. As the trifs are
similar trifs so whatever
relations are established
among these trifs AOB, BPH
and HRA, the same relations
will exist among the poly
gons 0, P and R.
ALGEBRAIC PROOFS
93
94
tri. ABH =
+ P. (2).
a.
b.
To evolve an original
demonstration and put it in a
form free from criticism is
not the work of a tyro.
TYPES
It is obvious that the three squares con
structed upon the three sides of a right-angled tri
angle can have eight different positions, as per se
lections. Let us designate the square upon the
97
98
A
This type includes all proofs derived from
the figure determined by constructing squares upon
each side of a right-angled triangle, each square be
ing constructed outwardly from the given triangle.
The proofs under this type are classified as
follows:
(a)
Those proofs in which pairs of the dis
sected parts are congruent.
Congruency implies superposition, the most
fundamental and self-evident truth found in plane
geometry.
GEOMETRIC PROOFS
99
(b)
Those proofs in which pairs of the dis
sected parts are shown to be equivalent.
As geometricians at large are not in agree
ment as to the symbols denoting congruency and
"equivalency (personally the author prefers = for
congruency, and = for equivalency), the symbol used
herein shall be =, the context deciding its import.
(a) PROOFS IN WHICH PAIRS OF THE DISSECTED PARTS ARE
CONGRUENT.
Paper Folding "Proofs, Only Illustrative
One
100
GEOMETRIC PROOFS
1 0 1
Three
Cut out three sqfs as in
fig. 105. Fold small sq. 9 (fig.
105) along middle and cut, form
ing 2 rects; cut each rect.
along diagonal, forming 4 rt.
tri's, 1, 2, 3 and 4. But from
each corner of sq. FA (fig. 105),
a rt. tri. each having a base HL
= iHP (fig. 105; FT = iFM), giv
ing 4 rt. trifs 5> 6, 7 and 8
(fig. 1 0 6 ), and a center part 9
(fig. 1 0 6 ), and arrange the pieces as in fig. 106,
and observe that sq. HC = sq. EL + sq. HG, as in fig.
1 0 5 . /. h2 = a2 + b2 .
a. See "School Visitor," 1882, Vol. Ill,
p. 208.
102
GEOMETRIC PROOFS
10 3
Seven
In fig. 108, omit lines as in proof Six, and
it is obvious that trifs 1, 2, 3 and 4, in sq's HG
and HD will cover tri's 1, 2, 3 and 4 in sq. AK, or
sq. AK = sq. HD + sq. HG.
h2 = a2 + b2 .
a. See Versluys (1914), fig. 1, p. 9 of his
96 proofs.
Eight
In fig. 109, let
HAGF denote the larger
sq. HG. Cut the smaller
sq. EL into two equal
rectangles AN and ME, fig.
1 0 9 , and form with these
and the larger sq. the
rect. HDEF. Produce DH
so that HR = HF. On RD
as a diameter describe a
semicircle DOR. Produce
104
GEOMETRIC PROOFS
105
Jen
In fig. Ill, on CK
construct tri. CKL = tri. ABH;
produce CL to P making LP = BH
and take LN = BH; draw NM, AO
and BP each perp. to CP; at
any angle of the sq. GH, as F,
construct a tri. GSF = tri.
ABH, and from any angle of the
sq. HD, as H, with a radius
= KM, determine the pt. R and
draw HR, thus dissecting the
sq's, as per figure.
It is readily shown
Fig. Ill
10 6
GEOMETRIC PROOFS
107
10 8
Th irteen
In fig. 114, produce
CA to 0, KB to M, GA to V,
making AV = AG, DB to U, and
draw KX and CW par. resp. to
BH and AH, GN and HL par. to
AB, and OT par. to FB.
Sq. AK = [tri. CKW = tri.
(HLA = trap. BDEM + tri. NST)]
+ [tri. KBX = tri. GNF
= (trap. OQNF + tri. BMH)]
+ (tri. BAU = tri. OAT)
+ (tri. ACV = tri. AOG)
+ (sq. VX = paral. SN)
= sq. BE + sq. HG. .\ sq.
upon AB = sq. upon BH + sq upon AH. /. h2 = a2 + b2 .
a. Original with author March 28, 1926, 9*50
p .m.
b. A variation of the proof Eleven above.
Fourteen
Produce CA to S,
draw SP par. to FB, take HT
= HB, draw TR par. to HA,
produce GA to M, making AM
= AG, produce DB to L, draw
K0 and CN par. resp. to BH
and AH, and draw QP. Rect.
RH = rect. QB. Sq. AK
= (tri. CKN = tri. ASG)
+ (tri. KBO = tri. SAQ)
+ (tri. BAL = tri. DQP)
+ (tri. ACM = tri. QBE)
+ (sq. LN = sq. ST) = rect.
PE + rect. GQ + sq. ST = sq.
BE + rect. QB + rect. GQ
+ sq. ST = sq. BE + sq. GH.
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a + b .
GEOMETRIC PROOFS
109
no
GEOMETRIC PROOFS
111
E j_gh teen
In fig. 119, the
dissection is evident and
shows that parts 1 , 2 and 3
in sq. HG are congruent to
parts 1 , 2 and 3 in rect.
QC; also that parts 4, 5, 6
and 7 in sq. HD are congru
ent to parts 4, 5, 6 and 7
in rect. QR.
Therefore, sq. upon
AB = sq. upon HB + sq. upon
HA. .\ h2 = a2 + b2 . Q.E.D.
a. See dissection,
Tafel II, in Dr. W. Leitzmann's work, 1930 ed'n--on
last leaf of said work. Not
credited to any one, but is based on H. Dobriner's
proofs.
112
N ineteen
GEOMETRIC PROOFS
113
XXXVIII.
Iwen t
n e
The construction
and dissection of fig. 122
is obvious and the congru
ency of the corresponding
parts being established, and
we find that sq. AK = (quad.
ANMR = quad. AHWX) + (tri.
CNA = tri. WFG) + (tri. CQM
= tri. AXG) + (tri. MQK
= tri. EDU) + (tri. POK
= tri. THS) + (pentagon BLMOP
= pentagon ETSBV) + (tri.
BRL = tri. DUV). /. sq. upon
AB = sq. upon BH + sq. upon
AH. /. h2 = a2 + b2 .
a. Original with the author of this work,
August 99 1900. Afterwards, on July 4, 1901, I found
same proof in Jury Wipper, 1880, p. 28, fig. 25, as
given by E. von Littrow in "Popularen Geometrie,11
1859; also see Versluys, p. 42, fig. 45.
Jwenty-Jw q
Extend CA to Q, KB
to P, draw RJ through H, par.
to AB, HS perp. to CK, SU
and ZM par. to BH, SL and ZT
par. to AH and take SV = BP,
DN = PE, and draw VW par. to
AH and NO par. to BP.
Sq. AK = parts (l + 2
+ 5 + 4 = sq. HD) + parts
( 5 + 6 + 7 = sq. HG); so dis
sected parts of sq. HD + dis
sected parts of sq. HG (by
superposition), equals the
dissected parts of sq. AK.
114
Iwent^-Jhree
After showing that
each numbered part found in
the sqs HD and HG is congru
ent to the corresponding num
bered part in sq. AK, which
is not difficult, it follows
that the sum of the parts in
sq. AK = the sum of the parts
of the sq. HD + the sum of
the parts of the sq. HG.
/. the sq. upon AK
= the sq. upon HD + the sq.
upon HA. .\ h2 = a2 + b2 .
Q.E.D.
a. See Geom. of Dr.
H. Dobriner, 18 9 8 ; also Versluys, p. 45, fig. 46,
from Chr. Nielson; also Leitzmann, p. 15, fig. 15,
4th E d 1n.
Iwent^-Four
Proceed as in fig.
124 and after congruency is
established, it is evident
that, since the eight dis
sected parts of sq. AK are
congruent to the correspond
ing numbered parts found in
sq's HD and HG, parts (l + 2
+ 5 + 4 + 5 + 6 + 7 + 8 i n
sq. AK) = parts ( 5 + 6 + 7
+ 8 ) + (1 + 2 + 5 + 4) in
sq's HB and HG.
GEOMETRIC PROOFS
115
.. h
= a
116
Iwent^-Seven
Take AU and CV = BH
and draw UW par. to AB and
VT par. to BK; from T draw
TL par. to AH and TS par. to
BH, locating pts. L and S;
complete the sq*s LN and SQ,
making sides SR and LM par.
to AB. Draw SW par. to HB
and CJ par. to AH. The 10
parts found in sqfs HD and
HG are congruent to corre
sponding parts in sq. AK.
the sq. upon AB = sq. upon HB
+ sq. upon HA. .*. h2 = a2+ b2.
Q.E.D.
a. This proof, and dissection, was sent to
me by J. Adams, Chassestreet 31, The Hague, Holland,
April 1933.
b. All lines are either perp. or par. to the
sides of the tri. ABH--a unique dissection.
c. It is a fine paper and scissors exercise.
Iwent^-E j_gh t
Draw AF and BE; pro
duce GA to P making AP = AG;
produce DB to 0; draw CQ par.
to AH and KR par. to BH; con
struct sq. LN = sq. 0Q; draw
FL and FN; take AT and KS
= to FM. Congruency of cor
responding numbered parts hav
ing been established^ as is
easily done, it follows that:
sq. upon AB = sq. upon HB
+ sq. upon HA.
h2 = a2 + b 2.
Q.E.D.
Fig. 129
GEOMETRIC PROOFS
117
a. Benijr von Gutheil, oberlehrer at Nurnberg, Germany, produced the above proof. He died In
the trenches In France, 191^. So wrote J. Adams
(see a, fig. 128), August 1933*
b. Let us call It the B. von Gutheil World
War Proof.
c. Also see Dr. Leitzmann, p. 15, fig. 1 8 ,
1930 ed'n.
Jwen t^-H ]_ne
In fig. 130, extend
CA to 0, and draw ON and KP
par. to AB and BH respective
ly, and extend DB to R. Take
BM = AB and draw DM.
Then
we have sq. AK = (trap. ACKP
= trap. OABN = pentagon
OGAHN) + (tri. BRK = trap.
BDLH + tri. MHL = tri. OFN)
+ (tri. PRB = tri. LED).
sq. upon AB = sq. upon BH
+ sq. upon AH. .*.h2 = a2 + b 2 .
a. See Math. Mo., V.
IV, 1897, P. 170, proof XLIV.
Ihj.rt*
118
\H'
'\
Extend GA making AP
= AG; extend DB making BN
= BD = CP. Tri. CKP = tri.
ANB = \ sq. HD = \ rect. LK.
Tri. APB = \ sq. HG = \ rect.
AM. Sq. AK = rect. AM
+ rect. LK.
sq. upon AB = sq.
upon HB + sq. upon AH. .\ h2
= a2 + b2 . Q.E.D.
a. This is Huygens*
proof (l657); see also Ver
sluys, p. 2 5 , fig. 2 2 .
Ihirt-Jwg
Extend GA making AD
= AO. -Extend DB to N, draw
CL and KM. Extend BP to S
making PS = HB, complete sq.
SU, draw HP par. to AB, PR
par. to AH and draw SQ.
Then, obvious, sq.
AK = 4 tri. BAN + sq. NL
= rect. AR + rect. TR + sq.
GQ = rect. AR + rect. QP
+ sq. GQ + (sq. TP = sq. ND )
= sq. HG + sq. HD.
sq.
upon AB = sq. upon BH + sq.
upon AH. /. h2 = a2 + b2 .
Q.E.D.
EDCLID
L iv e d a b o u t 300 B.C
GEOMETRIC PROOFS
119
120
121
GEOMETRIC PROOFS
\D
Ds-isiI,J
V. * Of/
L/rOtfUi,
ZJ:1,J< S i ! I g s u j\i!
~i s>rj ^ T j u J t - / V i Z)jk>j
f?^ O'uu/ 'r-'
JT~ 7 XXr'iJif >j i/'JJ v j-J t'j
iffCff.-'i-^ *'-'Z-X1
^j C )[*?'-' > 'if V ' C A * / '?
>
"
1350.
120a
Ihj_r t
Fou r
Extend HA to L making
AL = HE, and HB to N making
BN = HF, draw the perp. HM,
and join LC, HC, and KN. Ob
viously tri*s ABH, CAL and
BKN are equal.
sq. upon AK
= rect. AM + rect. BM = 2 tri.
HAC + 2 tri. HBK = HA x CL
+ HB x KN = sq. HG + sq. HD.
sq. upon AB = sq. upon HB
f- sq. upon HA. .\ h2 = a2 + b2.
a. See Edwards* Geom.,
p. 155, fig- (^); Versluys,
p. 1 6 , fig. 12, credited to
De Gelder (l806).
b. "To illumine and enlarge the field of con
sciousness, and to extend the growing self, is one
reason why we study geometry."
"One of the chief services which mathematics
has rendered the human race in the past century is
to put *common sense* where it belongs, on the top
most shelf next to the dusty canister labeled *dis
carded nonsense.*" Bertrand Russell.
c. "Pythagoras and his followers found the
ultimate explanation of things in their mathematical
relations."
Of Pythagoras, as of Omar Khayyam:
"Myself when young did eagerly frequent
Doctor and Saint, and heard great argument
About it and about; but evermore
Came out by the same door where in I went."
GEOMETRIC PROOFS
121a
HISTORY SAYS:
1. "Pythagoras, level-headed, wise man, went quite
mad over seven. He found seven sages, seven
wonders* of the world, seven gates to Thebes, sev
en heroes against Thebes, seven sleepers of
Ephesus, seven dwarfs beyond the mountains--and
so on up to seventy times seven."
2. "Pythagoras was inspired--a saint, prophet, found
er of a fanatically religious society."
3. "Pythagoras visited Ionia, Phonecia and Egypt,
studied in Babylon, taught in Greece, committed
nothing to writing and founded a philosophical
society."
4. "Pythagoras declared the earth to be a sphere,
and had a movement in space."
5. "Pythagoras was one of the nine saviors of civili
zation."
6. "Pythagoras was one of the four protagonists of
modern science."
7. "After Pythagoras, because of the false dicta of
Plato and Aristotle, it took twenty centuries to
prove that this earth is neither fixed nor the
center of the universe."
8. "Pythagoras was something of a naturalist--he was
2500 years ahead of the thoughts of Darwin."
9. "Pythagoras was a believer in the Evolution of
man."
10. "The teaching of Pythagoras opposed the teaching
of Ptolemy."
11. "The solar system as we know it today is the one
Pythagoras knew 2500 years ago."
12. "What touched Copernicus off? Pythagoras who
taught that the earth moved around the sun, a
great central ball of fire."
13. "The cosmology of Pythagoras contradicts that of
the Book of Genesis--a barrier to free thought
and scientific progress."
14. "Pythagoras saw man--not a cabbage, but an animal--a bundle of possibilities--a rational ani
mal ."
15. "The teaching of Pythagoras rests upon the Social
Ethical and Aesthetical Laws of Nature."
122
Ih ir t
Fig. 136
Fj_ve
GEOMETRIC PROOFS
125
Ihirty.-ELg.ht
In fig. 158, the con
struction is evident, as well
as the parts containing like
numerals.
Sq. AK = tri. BAL
+ tri. CKN + sq. LN + (tri. ACM
+ tri. KBP) + tri. HQA + tri.
QHS + sq. RF + (rect. HL = sq.
HP + rect. AP = sq. HD + rect.
GR) = sq. HD + sq. HG.
.\ sq. upon AB = sq.
upon BH + sq. upon AH.
a. See Heath1s Math.
Monographs, No. 2, p. 539 proof
XXI.
Ih j.rt-Nine
Produce CA to P, draw PHN, join NE, draw HO
perp. to CR, CM par. to AH, join MK and MA and pro
duce DB to L. From this dissection there results:
Sq. AK = rect. AO + rect. BO = (2 tri. MAC = 2 tri.
ACM = 2 tri. HAM = 2 tri. AHP = sq. HG) + (rect. BHMK
= 2 tri. NHL = 2 tri. HLN = 2 tri. NEH = sq. HD).
124
Forty,
Fig. 159
For ty,-Qne
Draw BQ perp. to AB meeting GP extended, HN
par. to BQ, NP par. to HP, thus forming OARQ; draw
OL par. to AB, CM par. to AH, AS and KT perp. to CM,
and SU par. to AB, thus dissecting sq. AK into parts
1 , 2 , 3 , 4 and 5 .
Sq. AK = paral. AEQO, for sq. AK = [(quad.
ASMB = quad. AHLO) + (tri. CSA = tri. NFH = tri. OGH)
+ (tri. SUT = tri. OLP) = sq. HG ] + [(trap. CKUS
GEOMETRIC PROOFS
izs Z
u f
125
Fig. lUl
For
The construction of
fig. 142 is easily seen.
Sq. AK = rect. BL + rect. AL
= paral. HBMN + paral. AHNO
= sq. HD + sq. HG.
sq.
upon AB = sq. upon BH t sq.
upon AH. /. h2 = a2 + b2 .
a. This is Lecchiofs
proof, 1755. Also see Math.
Mag., 1859, Vol. 2, No. 2,
Dem. J, and credited to
Charles Young, Hudson, 0.,
(afterwards Prof. Astronomy,
Princeton College, N.J.);
Jury Wipper, 1880, p. 26,
fig. 22 (Historical Note);
01ney*s Geom., 1872, Part III, p. 251, 5th method;
Jour, of Education, V. XXV, 1 8 8 7 , p. 404, fig. Ill;
Hopkins Plane Geom., 1891, p. 91 , fig- II; Edwards*
12 6
GEOMETRIC PROOFS
127
Fort^-Ihree
By theorem of Pappus,
MN = LH. Since angle BHA is
a rt. angle, HD and HG are
rectangular, and assumed
squares (Euclid, Book I, Prop.
47). But by Theorem of Pap
pus, paral. HD + paral. HG
= paral. AK.
/. sq. upon AB = sq.
upon BH + sq. upon HG.
h2
= a2 + b2.
a. By the author,
Oct. 26, 1935.
128
Produce DE to L mak
ing EL = HF, produce KB to 0,
and draw LN perp. to CK. Sq.
AK = rect. MK + rect. MC
= [rect. BL (as LH = MN)
= sq. HD] + (similarly, sq.
HG).
/. sq. upon AB = sq.
upon HB + sq. upon HG. .\ h2
= a2 + b2 .
a. See Versluys, p.
1 9 > fig. 15, where credited
to Nasir-Ed-Dln (1201-1274);
also Fourrey, p. 72, fig. 9.
For t^-F]_vg
In fig. 146 extend
DE and GF to P, CA and KB to
Q and R respectively, draw CN
par. to AH and draw PL and
KM perp. bo AB and CN respec
tively. Take ES = HO and
draw DS.
Sq. AK = tri. KNM
+ hexagon ACKMNB = tri. BOH
+ pentagon ACNBH = tri. DSE
+ pentagon QAORP = tri. DES
+ paral. AHPQ + quad. PHOR
= sq. HG + tri. DES + paral.
BP - tri. BOH = sq. HG + tri.
DES + trap. HBDS = sq. HG
+ sq. HD.
sq. upon AB = sq. upon BH + sq. upon AH.
a. See Am. Math. Mo., V. IV, 1897, p. 170,
proof XLV.
GEOMETRIC PROOFS
For t
129
S _[x
The construction
needs no explanation; from it
we get sq. AK + 2 tri. ABH
= hexagon ACLKBH = 2 quad.
ACLH = 2 quad. FEDG = hexagon
ABDEFG = sq. HD + sq. HA + 2
tri. ABH.
/. sq. upon AB = sq.
upon BH + sq. upon AH. .\ h2
= a + b .
a. According to F, C.
Boon, A.B. (1924), p. 107 of
-JH
Cir~
his Miscellaneous Mathemat
/
ics, n this proof is that of
'A''
Leonardo da Vinci (1452-1519)
Fig. 147
b. See Jury Wipper,
1880, p. 5 2 , fig. 29, as
found in "Aufangsgrunden der Geometrie" von Tempelhoff, 1769; Versluys, p. 5 6 , fig. 59, where Tempelhoff, 1769, is mentioned; Fourrey, p. 74. Also proof
9, p. 107, in "A Companion to Elementary School Mathe
matics," by F. C . Boon, A.B.; also Dr. Leitzmann,
p. 18, fig. 22, 4th Edition.
T~
tSLty...ven
In fig. 148 take BO
= AH and AN = BH, and com
plete the figure; Sq. AK
= rect. BL + rect. AL = paral.
HMKB + paral. ACMH = paral.
FODE + paral. GNEF = sq. DH
+ sq . GH.
.\ sq. upon AB = sq.
upon BH + sq. upon AH. .. h2
= a2 + b2 .
a. See Edwards1 Geom.,
1895, P. 158, fig. (21), and
130
Am.
M ath.
M o.,
V.
IV,
1897,
p.
169
proof
XLI.
EaLix-IUbl
Fig.
Ik9
GEOMETRIC PROOFS
131
.. h
Mft*
/-5ft
S
/
'
!\
1
>
\ ,
A
\1 /
N
Extend GF and DE to
P, draw PL perp. to CK, CN
par. to AH meeting HB extend
ed, and KO perp. to AH. Then
there results: sq. AK
[(trap. ACNH - tri. MNH
= paral. ACMH = rect. AL)
= (trap. AHPG - tri. HPF
= sq. AG)] + [ (trap. HOKB
- tri. OMH = paral. HMKB
= rect. BL) = (trap. HBDP
- tri. HEP = sq. HD)].
.*. sq. upon AB = sq.
upon BH + sq. upon AH. .\ h2
= a2 + b2 .
a. See Am. Math. Mo.,
V. IV, 1897, p. 169, proof
XLII.
Fj_f t-One
Extend GA to M making
AM = AH, complete sq. HM,
draw HL perp. to CK, draw CM
par. to AH, and KN par. to BH
this construction gives: sq.
AK = rect. BL + rect. AL
= paral. HK + paral. HACN
= sq. BP + sq. HM = sq. HD
+ sq. HG.
/. sq. upon AB = sq.
upon BH + sq. upon AH.
h2
= a +, -.2
h .
Fig. 152
132
Fj_ft^-Twa
In fig. 155 construct
the sq. HT, draw GL, HM, and
PN par. to AB; also KU par.
to BH, OS par. to AB, and
join EP. By analysis we
find that sq. AK = (trap.
CTSO + tri. KRU) + [tri. CKU
+ quad. STRQ + (tri. SON
= tri. PRQ) + rect. AQ]
= (trap. EHBV + tri. EVD)
+ [tri. GLP + tri. HMA
+ (paral. SB = paral. ML)]
= sq. HD + sq. AF.
.\ sq. upon AB = sq.
upon BH + sq. upon AH. .\ h2
a. After three days of analyzing and classi
fying solutions based on the A type of figure, the
above dissection occurred to me, July 16, 18 9 0 , from
which I devised above proof.
Fj_ft^-Ih ree
GEOMETRIC PROOFS
135
H f t-Fou r
In fig. 155 extend
HB to M making BM = AH, HA to
P making AP = BH, draw CN
and KM each par. to AH, CP
and KO each perp. to AH, and
draw HL perp. to AB. Sq. AK
= rect. BL + rect. AL = paral.
RKBH + paral. CRHA = sq. RM
+ sq. CO = sq. HD + sq. HG.
.\ sq. upon AB = sq.
upon BH + sq. upon AH.
h2
= a + d .
a. See Am. Math. Mo.,
V. IV, 1897, p. 169, proof
XLIII.
ILtiiztLiz
Extend HA to N making
AN = HB, DB and GA to M,
draw, through C, NO making
CO = BH, and join MO and KO.
Sq. AK = hexagon
ACOKBM = para. COMA + paral.
OKBM = sq. HD + sq. HG.
.. sq. upon AB = sq.
upon BH + sq. upon AH. .\ h2
= a + d .
a. This proof is
credited to C. French, Win
chester, N.H. See Journal of
Education, V. XXVIII, 1888,
p. 17, 23d proof; Edwards1
Geom., 1895, P- 159, fig- (26);
Heath's Math. Monographs, No.
2, p. 31, proof XVIII.
134
nf.tK.-six
-------
Fig. 157
ft^-Seven
Complete rect. FE and
construct the tri!s ALC and
KMB, each = tri. ABH.
It is obvious that
sq. AK = pentagon CKMHL - 5
tri. ABH = pentagon ABDNG
- 5 tri. ABH = sq. HD + sq.
HG. .\ sq. upon AB = sq. upon
HD + sq. upon HA. .\ h2 = a2
+ b2.
a. See Versluys, p. 55*
fig. 57.
Fj_f t y.-E iflh t
In fig. 159 complete the squares AK, HD and
HG, also the paral1s FE, GC, AO, PK and BL.
From
GEOMETRIC PROOFS
135
H f t^-Nine
136
fig. a.
S]_x t^-One
GL and DW are each
perp. to AB, LN par. to HB,
QP and VK^par. to BD, GR, DS,
MP, NO and KW par. to AB and
ST and RU perp. to AB. Tri.
DKV = tri. BPQ. /. AN = MC.
Sq. AK = rect. AP
+ rect. AO = (paral. ABDS
= sq. HD) + (rect. GU = paral.
GABR = sq. GH).
sq. upon
AB = sq. upon HB + sq. upon
HA. /. h2 = a2 + b2 . Q.E.D.
a. See Versluys, p.
28, fig. 24--one of Werner's
coll'n, credited to Dobrlner.
Sixt^-Two
Constructed and num
bered as here depicted, it
follows that sq. AK = ((trap.
XORB = trap. SBDT) + (tri.
OPQ = tri. TVD) + (quad. PWKQ
= quad. USTE) = sq. HD]
+ [(tri. ACN = tri. FMH)
+ (tri. CWO = tri. GLF)
+ (quad. ANOX = quad. GAML)
= sq. HG].
sq. upon AB = sq.
upon BH + sq. upon HA.
h2
= a2 + b2 . Q.E.D.
a. See Versluys, p.
33, fig. 3 2 , as given by
Jacob de Gelder, 1806.
GEOMETRIC PROOFS
137
Sixt^-Ihree
Extend GF
and DE to N, com
plete the square NQ,
and extend HA to P,
GA to R and HB to L.
From these
dissected parts of
the sq. NQ we see
that sq. AK + (4 tri.
ABH + rect. HM
+ rect. GE + rect.
OA) = sq. NQ = (rect.
PR = sq. HD + 2 tri.
ABH) + (rect. AL
= sq. HG + 2 tri.
ABH) + rect. HM
+ rect. GE + rect.
AO = sq. AK + (4 tri.
fie. 163
ABH + rect. HM
+ rect. GE + rect. OA - 2 tri. ABH - 2 tri. ABH-rect.
HM - rect. GE - rect. OA = sq. HD + sq. HG.
sq. AK = sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b2 .
a. Credited hy Hoffmann, in "Der Pythagoraische Lehrsatz," 1821, to Henry Boad, of London,
Eng. See Jury Wipper, 1880, p. 18, fig. 12; Ver
sluys, p. 53, fig- 55; also see Dr. Leitzmann, p. 20,
fig. 25.
b. Fig. 165 employs 4 congruent triangules,
4 congruent rectangles, 2 congruent small squares,
2 congruent HG squares and sq. AK, if the line TB be
inserted. Several variations of proof Sixty-Three
may be produced from it, if difference is sought, es
pecially if certain auxiliary lines are drawn.
138
In fig. 164,
produce
HB
to L, HA
F /-t\
to R meeting CK
\
prolonged, DE and
i
GP to 0, CA to P,
/
\
ED and PG to AB
prolonged. Draw HN
\
par.
to, and OH
A
perp.
to AB.
Ob
M
Tl\
viously sq. AK
\
= tri. RLH - (tri.
/
I
\
RCA + tri. BKL
/
+ tri. ABH) = tri.
ci.
.1*. _
QMO - (tri. QAP
Fig. 16^
+ tri. OHD + tri.
ABH) = (paral. PANO
= sq. HG) + (paral. HBMN = sq. HD).
sq. upon AB = sq. upon HB + sq. upon HA.
= a + b2.
a. See Jury Wipper, 1880, p. JO, fig. 28a;
Versluys, p. 57, fig. 6l; Pourrey, p. 82, Pig. c and
d, by H. Bond, in Geometry, Londres, l68j and 1753,
also p. 8 9 .
*\
SjLxtfc-Nye
In fig. 16 5 extend
HB and CK to L, AB and ED
to M, DE and GP to 0, CA
and KB to P and N respec
tively and draw PN. Now
observe that sq. AK = (trap.
ACLB - tri. BLK) = [quad.
AMNP = hexagon AHBNOP - (tri.
NMB = tri. BLK) = paral BO
= sq. HD) + (paral.AO = sq.
AP)].
sq. upon AB = sq.
upon BH + sq. upon AH.
GEOMETRIC PROOFS
139
SJLxtfc-Six
Sj_xt-Seven
Fig. 166
In the
construction make
CM = HA = PL, LC
= FP, MK = DE = NQ.
OL = LM and MN
= NO. Then sq. AK
= tri. NLM - (tri.
LCA + tri. CMK
+ tri. KNB) = tri.
LNO - (tri. OPH
+ tri. HAB + tri.
QOH) = paral. PLAH
+ paral. HBNQ = sq.
HG + sq. HD.
sq.
upon AB = sq. upon
BH + sq. upon HA.
.-. h2 = a2 + b2 .
Q.E.D.
a. See Versluys, p.
22, fig. 19, by J. D. Kruitbosch.
Make AM = AH, BP
= BH, complete paral. MC and
PK. Extend FG and NM to L,
DE and KB to S, CA to T, OP
to R, and draw M P .
Sq. AK = paral. MC
+ paral. PK = paral. LA
+ paral. RB = sq. GH + sq.
HD.
140
Sixt*-Eiaht
Prom P, the middle
point of AB, draw PL, PM and
PN perp. respectively to CK,
DE and PG, dividing the sq's
AK, DH and PA into equal
rect1s.
Draw EP, PE, OH to R,
PP and PC.
Since tri's BHA and
EHP are congruent, EP = AB
= AC. Since PH = PA, the
tri's PAC, HPE and PHP have
equal bases.
Since tri's having
equal bases are to each other
as their altitudes: tri. (HPE = EHP = sq. HD + 4)
tri. HPE
: tri. (PHF = sq. HG 4- 4) = ER : PR.
+ tri. PHP : tri. PHP = (ER + PR = A C ) : PR. /. i sq.
HD + sq. HG : tri. PHF = AC : PR. But (tri. PAC
sq. HD + sq.
= sq. AK) : tri. PHF = AC : PR.
HG : i sq. AK = tri. PHE : tri. PHF. .-. sq. HD
+ i sq. HG = i sq. AK.
sq. upon AB = sq. upon HB + sq. upon HA.
.\ h2 * a2 + b 2 . Q.E.D.
a. Pig. 168 is unique in that it is the first
ever devised in which all auxiliary lines and all
triangles used originate at the middle point of the
hypotenuse of the given triangle.
b. It was devised and proved by Miss Ann
Condit, a girl, aged 16 years, of Central JuniorSenior High School, South Bend, Ind., Oct. 1938. This
l6-year-old girl has done what no great mathematician,
Indian, Greek, or modern, is ever reported to have
done. It should be known as the Ann Condit Proof.
GEOMETRIC PROOFS
141
Sixty-Nine
Prolong HB to 0 mak
ing BO = HA; complete the
rect. OL; on AC const, tri.
ACM = tri. ABH; on CK const,
tri. CKN = tri. ABH. Join
AN, AK, AO, GB, GD, GE and
FE.
It is obvious that
tri. AON = tri. ABO = tri.
ABG = tri. EFG; and since
tri. DEG = [|(DE) x (AE = AH
+ HE)] = tri. DBG = [|(DB
= DB) x (BF = AE)] = tri. AKO
= [|(K0 = DE) x (HO = AE)]
= tri. AKN = [i(KN = DE)
x (AN = AE )], then hexagon
ACNKOB - (tri. CNK + tri.
BOK) = (tri. ACN = tri. ABO = tri. ABG = tri. EFG)
+ (tri. AKN = tri. AKO = tri. GBD = tri. GED) - (tri.
CNK + tri. BOK) = 2 tri. ACN + 2 tri. ABO - 2 tri.
CNK = 2 tri. GAB + 2 tri. ABD - 2 tri. ABH = sq. AK
142
Seventy;
Theorem. I f upon any con
venient length,
as AB, three t r i
angles are con
s t r uc t e d, one
having the angle
o p p o s i t e AB ob
tuse, the second
having that angle
ri ght , and the
third having that
o p p o s i t e angle
acute, and upon
the s i d e s includ
ing the obt use,
right and acute
angle squares are
c ons t r uc t e d, then
the sum o f the
three squares are
l e s s than, equal
to, or g r e a t e r
than the square
c ons t r uc t e d upon
AB, according as
the angle is ob
tuse, ri ght or
acute.
GEOMETRIC PROOFS
143
144
JOHN NAPIER
1550-1617
GEOMETRIC PROOFS
145
Seventy-fine
tri.
(4 =
+ tri.
) = sq. AD}.
sq. upon AB = sq. upon BH + sq. upon AH.
= a2 + b 2 .
a. See fig. 75b and fig. 91 herein,
b This proof (better, illustration), by
Richard . Bell, Feb. 22, 1958. He used only ABCD
of fig. 172; also credited to Joseph Houston, a high
school boy of South Bend, Ind., May 18, 1959*
He
used the full fig.
Seventy-JwQ
Take AL = CP and draw
LM and CN perp. to AH.
Since quad. CMNP
\
= quad. KCOH, and quad. CNHP
is common to both, then quad.
PHOK = tri. CMN, and we have:
s
sq. AK = (tri. ALM = tri. CPF
of sq. HG) + (quad. LBHM
= quad. OBDE of sq. HD)
Fig. 173
+ (tri. OHB common to sq's AK
and HD) + (quad. PHOK = tri. CGA of sq. HG) + (quad,
CMHP common to sq's AK and HG) = sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon HA.
h2 = a2
b2. Q.E.D.
a. This proof, with fig. discovered by the
author March 26, 1954, 1 p.m.
c m
___
146
Se ven tl-
Fig. 174
Seventy-Four
Take HM = HB, and
draw KL par. to AH and MN par.
to BH.
Sq. AK = tri. ANM
+ trap. MNBH + tri. BKL + tri.
KQL + quad. AHQC = (tri. CQF
+ tri. ACG + quad. AHQC)
+ (trap. RBDE + tri. BRH)
= sq. AP + sq. HD.
\ sq. upon AB = sq.
upon BH + sq. upon AH.
h2 =
+ b
a. See Am. Math. Mo., V. IV, 1897, p. 250,
proof L.
b. If OP is drawn in place of MN, (L0 = HB),
the proof is prettier, but same in principle.
c. Also credited to R. A. Bell, Feb. 28,
1938.
GEOMETRIC PROOFS
147
Se ven t^-F^ve
OA.
Seventh-Seven
Fig. 178
In fig. 1 7 8 , draw LM
through H perp. to AB, and
draw HK and H C .
Sq. AK = rect. LB
+ rect. LA = 2 tri. KHB + 2
tri. CAH = sq. AD + sq. AF.
sq. upon AB = sq.
upon BH + sq, upon AH.
148
_2 + d 2 .
.. h 2 = a
a. Versluys, 1914, p. 12, fig. 7; Wipper,
1880, p. 12, proof V; Edw. Geometry, 1895, p. 159,
fig. 2J; Am. Math. Mo., Vol. IV, 1897, p. 250, proof
LXVIII; E. Pourrey, Curiosities of Geometry, 2nd Ed'n,
p. 76, fig. e, credited to Peter Warins, 1762.
,
r.
Se ven t
Ej_gh t
Fig. 180
GEOMETRIC PROOFS
149
liab.tZr.One
In fig. 182, extend
DE to L making KL = HN, and
draw ML.
Sq. AK = (tri. ABH
= tri. ACG) + (tri. BMK = i
rect. BL = [trap. BDEN + (tri.
MKL = tri. BNH )] + quad. AHMC
common to sq. AK and sq. AF
= sq. HD + sq. HG.
.-. sq. upon AB = sq.
upon BH + sq. upon AH.
h2
= a + b .
a. See Edwards1 Geom., 1895, P. 158, fig.
150
liatLtY-Ihree
Fig. 184
GEOMETRIC PROOFS
151
Ej_gh t^-Fgu r
In fig. 1 8 5 , extend H
draw LM perp. to AB, and draw
HK and HC.
Sq. AK = rect. LB
+ rect. LA = 2 tri. HBK + 2 tri.
AHC = sq. HD + sq. HG.
sq. upon AB = sq.
upon BH + sq. upon AH. /. h2
= a + d .
a. See Sci. Am. Sup.,
V. 70, p. 585, Dec, 10, 1 9 1 0 , being No. 16 in A. R.
Colburn's 108 proofs; Fourrey, p. 71, fig. e.
LLgiiix-N ve
In fig. 186, extend GF
and DE to L, and through H draw
LN, N being the pt. of inter
section of NH and AB.
Sq. AK = rect. MB
+ rect. MA = paral. HK + paral.
HC = sq. HD + sq. HG.
.\ sq. upon AB = sq.
upon BH + sq. upon AH. /. h2
= a2 + b2 .
a. See Jury Wipper,
1880, p. 13, fig. 5b, andp. 25,
fig. 21, as given by Klagel in "Encyclopaedie," 1808;
Edwards1 Geom., 1895, p. 156, fig. (7); Ebene Geometrie, von G. Mahler, 1897, p. 8 7 , art. 11; Am. Math.
Mo., V. IV, 1897, P. 251, LIII; Math. Mo., 1859, Vol.
II, No. 2, fig. 2, Dem. 2, pp. 45-52, where credited
to Charles A. Young, Hudson, 0., now Dr. Young, as
tronomer, Princeton, N.J. This proof is an applica
tion of Prop. XXXI, Book IV, Davies Legendre; also
Ash, M. v. of Dublin; also Joseph Zelson, Phila., Pa.,
a student in West Chester High School, 1959.
b. This figure will give an algebraic proof.
152
agon
KH =
HG.
= a2
!ia!ltl-Seyen
In fig. 1 8 7 , extend DE
to K, draw PE, and draw KM par.
to AH.
Sq. AK = (tri. ABH
= tri. ACG) + quad. AHOC common to sq. AK and sq. AK + tri.
BLH common to sq. AK and sq.
HD + [quad. OHLK = pentagon
OHLPN + (tri. PMK = tri. PLE)
+ (tri. MKN = tri. ONF) = tri.
HEP = (tri. BDK = trap. BDEL + (tri. COF = tri. LEK)]
= sq. HD + sq. HG.
sq. upon AB = sq. upon HD + sq. upon HG.
h2 = a2 + b2. Q.E.D.
a. See Am. Math. Mo., V. IV, 1897, p. 251,
proof LVI.
ILfltitY-ILatLt
In fig, 188, extend GP and BK to L, and
through H draw MN par. to BK, and draw KM.
Sq. AK = paral. AOLC = paral. HL + paral. HC
= (paral. HK = sq. AD) + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b2 .
GEOMETRIC PROOFS
153
Eighty-N j_ne
Extend GF to L making
FL = BH, draw KL, and draw CO
par. to FB and KM par. to AH.
Sq. AK = (tri. ABH
= tri. ACG) + tri. CAO common
to sq's AK and HG + sq. MH com
mon to sq's AK and HG + [ penta
gon MNBKC = rect. ML + (sq. NL
= sq. HD)] = sq. HD + sq. HG.
.\ sq. upon AB = sq.
upon BH + sq. upon HA.
h2
= a2 + b2 . Q.E.D.
a. Devised by the author, July 30, 1900, and
afterwards found in Fourrey, p. 84, fig. c.
s\L
Ninety
In fig. 190 produce GF and DE to L, and GA
and DB to M. Sq. AK + 4 tri. ABH = sq. GD = sq. HD
+ sq. HG + (rect. HM = 2 tri. ABH) + (rect. LH = 2
tri. ABH) whence sq. AK = sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
h a + b .
154
Look
Fig. 191
Ninety-One
Tris BAG, MBK, EMC, AEF,
LDH and DLC are each = to tri. ABH.
sq. AM = (sq. KF - 4
tri. ABH) = [(sq. KH + sq. HF
+ 2 rect. GH) - 4 tri. ABH] = sq.
KH + sq. HF.
/. sq. upon AB = sq. upon
HB + sq. upon HA. .\ h2 = a2 + b 2.
a. See P. C. Cullens
pamphlet, 11 pages, with title,
GEOMETRIC PROOFS
155
156
VERSLUYS
Amsterdam 1914
Ninet^-Jwg
In fig. 193, draw KL
par. and equal to BH, through
H draw LM par. to BK, and
draw AD, LB and CH.
Sq. AK = rect. MK
+ rect. MC = (paral. HK = 2
tri. BKL = 2 tri. ABD = sq.
BE) + (2 tri. AHC = sq. AP).
/. sq. upon AB = sq.
upon BH + sq. upon AH. .*. h2
= a + b .
a. This figure and
proof is taken from the following work, now in my li
brary, the title page of which is shown on the fol
lowing page.
The figures of this book are all grouped to
gether at the end of the volume. The above figure
is numbered 62, and is constructed for ffPropositio
XLVII," in nLibrum Primum," which proposition reads,
11In rectangulis trJLangulis, quadratum quod a latere
rectum angulum subtedente describitur; aequuale est
eis, quae a lateribus rectum angulum continentibus
describuntur quadrat!s."
GEOMETRIC PROOFS
157
Claudius Richards
e Societate Jesu Sacerdos, patria Ornacensis in libero Comitatu
Burgundae, & Regius Mathematicarum
Professor:
Philippo I I I I ,
dieantique
M.DC.XLV.
158
1882."
The work has 408 diagrams, or geometric fig
ures, is entirely in Latin, and highly embellished.
I found the book in a second-hand bookstore
in Toronto, Canada, and on July 15, 1891, I purchased
it.
(E. S. Loomis.)
C
This type includes all proofs derived from
the figure in which the square constructed upon the
longer leg overlaps the given triangle and the square
upon the hypotenuse.
Proofs by dissection and superposition are
possible, but none were found.
GEOMETRIC PROOFS
159
160
Ninety-S^x
Fig. 197
Ninety-Seven
In fig. 198, extend FG
to C, draw HL par. to AC, and
draw AD and HK. Sq. AK = rect.
BL + rect. AL = (2 tri. KBH = 2
tri. ABD + paral. ACMH) = sq. BE
+ sq. AF.
.\ sq. upon AB = sq. upon
BH + sq. upon AH. .\ h2 = a2+ b2.
a. See Jury Wipper, 1880,
p. 11, II; Am. Math. Mo., V. IV,
1897, P. 267, proof LVIII; Four
rey, p. 70, fig. b; Dr. Boltz
mann1s work (1920), p. JO, fig.
31.
Ninety-Eight
In fig. 199, through G draw MN par. to AB,
draw HL perp. to CK, and draw AD, HK and BG.
Sq. AK = rect. MK + rect. AN = (rect. BL = 2
tri. KBH = 2 tri. ABD) + 2 tri. AGB = sq. BE + sq. AF.
GEOMETRIC PROOFS
l6l
Ninet^-Nine
Cl__ j(rJK
Fig. 199
One Hundred
162
One_Hundred_One
Fig. 202
GEOMETRIC PROOFS
163
fine _H y.ndred _F iv e
In fig. 206, extend FG
to H, draw HL par. to AC, KL par.
to HB, and draw KG, LB, FD and
EF.
Sq. AK = quad. AGLB common to sq's AK and AF + (tri. ACG
= tri. ABH) + (tri. CKG = tri.
EFD = 5 sq. HD) + (tri. GKL
= tri. BL F ) + (tri. BLK = \ paral.
HK =
sq. HD) = (|- sq. HD +
sq.
HD) + (quad. AGLB + tri. ABH
+ tri. BLF) = sq. HD + sq. AF.
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a2 + b 2 .
a. See Am. Math. Mo., V. IV, 1897, P. 268,
proof LXV.
164
proof LXVI.
n_Hy.ndred_Seven
In fig. 208,
through C and K draw NP
and PM par. respectively
to BH and AH, and extend
ED to M, HF to L, AG to
Q, HA to N and FG to C.
Sq. AK + rect. HM
+ 4 tri. ABH = rect. NM
= sq. HD + sq. HG + (rect.
NQ = rect. HM) + (rect.
GL = 2 tri. ABH)+ (rect.
BM = 2 tri. ABH).
\ sq. AK = sq. HD
+ sq. HG. . h2 = a2+ b2.
Q.E.D.
/. sq. upon AB = sq. upon BH + sq. upon AH.
v>2 _
l l
2
S>
. v,2
a. Credited by Joh. Hoffmann, In "Der Pythagoralsche Lehrsatz," 1821, to Henry Boad of London;
see Jury Nipper, 1880, p. 19, fig. 13.
GEOMETRIC PROOFS
165
Q(ie-Hundred_Eigh t
By dissection. Draw HL
par. to AB, CF par. to AH and KO
par. to BH. Number parts as in
figure.
Whence: sq. AK = parts
[(l + 2) = (l + 2) in sq. HD)]
+ parts [(3 + ^ + 5) = (3 + ^ + 5
in sq. HG)] = sq. HD + sq. HG.
/. sq. upon AB = sq. upon
HD + sq. upon HA. .\ h2 = a2+ b2.
Q.E.D.
a. Devised by the author
to show a proof of Type-C figure,
by dissection, Dec. 1933.
D
This type includes all proofs derived from
the figure in which the square constructed upon the
shorter leg overlaps the given triangle and the
square upon the hypotenuse.
Qne_!iy.Q.dr ed _N j_ne
In fig. 210, extend ED
to K, draw HL perp. to CK and
draw HK.
Sq. AK = rect. BL + rect.
AL = (2 tri. BHK = sq. HD)
+ (sq. HE by Euclid's proof).
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a2 + b 2.
a. See Jury Wipper, 1880,
p. 11, fig. 3; Versluys, p. 12,
fig. 4, given by Hoffmann.
Fig. 210
16 6
C u ' _______S'K
'
Fig. 211
0 n e _Hu n d i^ed _E ie v e n
In fig. 212, ex
tend FB and FG to L and M
making BL = AH and GM
= BH, complete the rectan
gle FO and extend HA to N,
and ED to K.
Sq. AK + rect. MH
+ 4 tri. ABH = rect. FO
= sq. HD + sq. HG + (rect.
s
1
V"
1'
a>
NK = rect. MH) + (rect. MA
= 2 tri. ABH) + (rect. DL
v'
= 2 tri. ABH); collecting
we have sq. AK = sq. HD
f sq. HG.
\Q'
sq. upon AB = sq.
upon BH + sq. upon AH.
Fig. 212
h = a + d .
a. Credited to Henry Boad hy Joh. Hoffmann,
1821; see Jury Wipper, 1880, p. 20, fig. 14.
GEOMETRIC PROOFS
167
,'-\F
/
\
\
1
K
:
'\ 1v ^ 1 1
3>K'
1
1
' | ' 1
Jr-
Fig. 213
fine Hundred Thirteen
Fig. 21k
16 8
= - x PD = K D x PD = A H x
AG = sq. HG = parts 7 + 4 + 10
+ 11 + 1. Sq. HD = parts 5 + 6.
.\ sq. AK = 1 + 2 + 5 + 4
''j*'
+ 5 = 1 + (2 = 6 + 7 + 8) + 5 + 4
+ 5 = 1 + (6 + 5) + 7 + 8 + 4 + 5
= 1 4 (6 + 5) + (7 + 8 = 11) f 4
Fig. 215
+ 5 = 1 + (6 + 5) + 11 + 4 + 5
1 + (6 + 5) + 11 + 4 + ( 5 = 2 - 4 , since 5 + 4 + 3
2 + 3) = 1 + (6 + 3) + 11 + 4 + 2 - 4 = 1 + (6 + 3)
11 + 4 + (2 = 7 + 4 + 10) - 4 = 1 + (6 + 3) + 11
4 + 7 + 10 = (7 + 4 + 10 + 11 + 1) + (6 + 3) = sq
HG + sq. HD.
.\ sq. upon AB = sq. upon HB + sq. upon HA.
h2 = a2 + b2. Q.E.D.
a. This figure and proof formulated by Joseph
Zelson, see proof Sixty-Nine, a, fig. 1 6 9 . It came
to me on May 5, 1939.
b. In this proof, as in all proofs received
I omitted the column of "reasons" for steps of the
demonstration, and reduced the argumentation from
many (in Zelson1s proof over thirty) steps to a com
pact sequence of essentials, thus leaving, in all
cases, the reader to recast the essentials in the
form as given in our accepted modern texts.
By so doing a saving of as much as 60$ of
page space results--also hours of time for thinker
and printer.
\
ISAAC NEWTON
1642-1727
GEOMETRIC PROOFS
169
Fig. 216
E
This type includes all proofs derived from
the figure in which the squares constructed upon the
hypotenuse and the longer leg overlap the given tri
angle.
Qne_Hundrd_Seven teen
In fig. 217, through H
draw LM par. to KB, and draw GB,
HK and HC.
Sq. AK = rect. LB + rect.
LA = (2 tri. HBK = sq. HD) + (2
tri. CAH = 2 tri. BAG = sq. AF).
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a2 + b 2 .
a. See Jury Wipper, 1880,
p. 14, VI; Edwards1 Geom., 1895>
p. 162, fig. (5 8 ); Am. Math. Mo.,
V. V, 1898, p. 74, proof LXXV;
Versluys, p. 14, fig. 9, one of
170
Fig. 218
Fig. 219
School Visitor, Vol
GEOMETRIC PROOFS
171
!l!l-Hy.Q.<dred_Iwen
Fig. 220
undr ed _Twen t On e
Extend GF and ED to
0, and complete the rect. MO,
and extend DB to N.
Sq. AK = rect. MO
- (4 tri. ABH + rect. NO)
= {(rect. AL + rect. AO)
- (4 tri. AHB + rect. NO)}
= 2 (rect. AO = rect. AD
+ rect. NO) = (2 rect. AD
+ 2 rect. NO - rect. NO
- 4 tri. ABH) - (2 rect. AD
+ rect. NO - 4 tri. ABH)
= (2 rect. AB + 2 rect. HD
Fig. 221
+ rect. NF + rect. BO - 4
tri. ABH) = [rect. AB
+ (rect. AB + rect. NF) + rect. HD + (rect. HD + rect.
BO) - 4 tri. ABH] = 2 tri. ABH + sq. HG + sq. HD
+ 2 tri ABH - 4 tri. ABH) = sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
h2 =
+ V
172
One_Hundred_Twenty-Two
In fig. 221, extend GF and ED to 0 and com
plete the rect. MO. Extend DB to N.
Sq. AK = rect. NO + 4 tri. ABH = rect. MO
= sq. HD + sq. AF + rect. BO + [rect. AL = (rect. HN
= 2 tri. ABH) + (sq. HG = 2 tri. ABH + rect. NF)],
which colld gives sq. AK = sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
.. h = a + b .
a. Credited to Henry Boad by Joh. Hoffmann,
in ,fDer Pythagoraische Lehrsatz," 1821; see Jury Wipper, 18 8 0 , p. 21, fig. 15.
One _H y.ndred_T wen t^-Three
One_Hundred_Iwent-Fqur
Rect. LM = [sq. AK = (parts 2 common to sq.
AK and sq. HD + 5 + 4 + 5 common to sq. AK and sq. HG)
GEOMETRIC PROOFS
175
+ b2. Q.E.D.
a. Original with the author, June 17, 1959*
b. See Am. Math. Mo., Vol. V, 18 9 8 , p. 74,
proof LXXVIII for another proof, which Is:
(as per
essentials):
Qdt_Hundred_Twn t- Fj_ve
In fig. 223, extend CA, HB, DE and CK to M,
N, K and L respectively, and draw MN, LN and CO re
spectively par. to AB, KB and HB.
Sq. AK + 2 tri. AGM + 3 tri. GNF + trap. AGFB
= rect. CN = sq. HD + sq. HG + 2 tri. AGM + 3 tri.
GNF + trap. COEK, which coll'd gives sq. AK = sq. HD
+ sq. HG.
/. sq. upon AB = sq. upon
BH + sq. upon AH. .*. h2 = a2+ b2 .
Six
17^
F
This type includes all proofs derived from
the figure in which the squares constructed upon the
hypotenuse and the shorter leg overlap the given tri
angle .
v * *
/
V'
1
'
73
GEOMETRIC PROOFS
175
j_gh t
Mred_Iwen t H i^ne
In fig. 227, draw LH
perp. to AB and extend it to
meet ED produced and draw MB, HK
and HC.
Sq. AK = rect. LB+rect.
LA = (paral. HMBK = 2 tri. MBH
= sq. BE) + (2 tri. CAH = 2 tri.
AHC = sq. AF) = sq. BE + sq. AF.
sq. upon AB = sq. upon
BH + sq. upon AH. .\ h2 = a2
+ b2 .
a. See Jury Wipper,
1880, p. Ik, fig. 7} Versluys,
p. Ik, fig. 10; Fourrey, p. 71, fig. f.
176
One_Hundred_Thir
In fig. 228, extend
GA and BD to M, complete the
square ML, and extend AH to
\ h
0.
\
Sq. AK + 4 tri. ABH
= sq. LM = sq. HD + sq. HG
X '
+ 3 tri. ABH = (trap. BNOP
+ tri. ARE = tri. ABH), which
collected gives sq. AK = sq.
HD + sq. HG.
M
riv
/. sq. upon AB = sq.
upon BH + sq. upon AH. /. h2
Fig. 228
= a + b .
a. See Jury Wipper, 1880, p. 1 7 , fig. 11,
where it is credited, by Johann Hoffmann, in "Der
Pythagoraische Lehrsatz," 1821, to Henry Boad.
SyL
F s'
\
cA _ _
G
This type includes all proofs derived from
figures in which the squares constructed upon the two
legs overlap the given triangle.
0!!-tlSl!ldred_Thir t^-Qne
Fig. 229
GEOMETRIC PROOFS
177
Kl
y\\
178
"-
Qne_Hundred_Ihirt2&ive
GEOMETRIC PROOFS
179
Fig.
2jk
0Q.e_Hjindred_Jhirt^-Seven
i\ v r
**;
l8 o
&Q.e_Hundred_Thir t^-Eiaht
Draw HL perp. to CK and ex
tend ED and FG to K and C resp'ly.
Sq. AK = rect. BL + rect. AL
= (tri. MLK = quad. RDSP + tri. PSB)
+ [tri. BDK - (tri. SDM = tri. ONR)
= (tri. BHA - tri. REA) = quad. RBHE]
+ [(tri. CKM = tri. ABH) + (tri. CGA
= tri. MFA) + quad. GMPA ] = tri. RBD
' b- '
C i r _ _ L j N \ j K + quad. RBHE + tri. APH + tri. MEH
+ quad. GMPA = sq. HD + sq. HG.
/. sq. upon AB = sq. upon BH
Fig. 236
+ sq. upon AH. .\ h2 = a2 + b2. Q.E.D.
a. See Versluys, p. 46, fig's 47 and 48, as
given by M. Rogot, and made known by E. Pourrey in
his ,fCuriosities of Geometry, on p. 90.
Q(l_Hundred_Th j_rt-Hj_ne
In fig. 237, extend AG, ED,
BD and PG to M, K, L and C respective
ly.
Sq. AK = 4 tri. ALP + 4 quad.
LCGP + sq. PQ + tri. AOE - (tri. BNE
= tri. AOE) = (2 tri. ALP + 3 quad.
LCGP
+ sq. PQ + tri. AOE = sq. HG)
ir< ' 6
+
(2
tri. ALP + quad. LCGP - tri. AOE
^
\ 1
= sq. HD) = sq. HD + sq. HG.
C l k - -LfcLslK
sq. upon AB = sq. upon BH
+ sq. upon AH.
h2 = a2 + b2 .
Fig. 257
a. See Jury Wipper, 1880, p.
29, fig. 26, as given by Reichenberger, in Philosophia et Mathesis Universa, etc.,'1 Ratisbonae, 1774;
Versluys, p. 48, fig. 49; Pourrey, p. 86.
b. Mr. Richard A. Bell, of Cleveland, 0.,
submitted, Peb. 28, 1958, 6 fig's and proofs of the
type G, all found between Nov. 1920 and Peb. 28, 1938.
Some of his figures are very simple.
GEOMETRIC PROOFS
181
One__Hundred_For ty
2tl
'
182
cH
_Hundred_Fort-Three
Fig. 241
GEOMETRIC PROOFS
18 ?
t^-Fou r
Fig. 242
184
fine _Hy.ndred_Fort-Six
In fig. 244, extend CK
and HF to M, ED to K, and AG to
0 making GO = HB, draw ON par.
to AH, and draw GN.
Sq. AK = paral. ALMB
= paral. GM + paral. AN = [(tri.
NGO - tri. NPO = trap. RBHE)
+ (tri. KMN = tri. BRD)] = sq. HD
+ sq. HG.
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a2 + b 2.
a. Devised by the author,
March 14, 1926.
Fig. 244
fill_Hundred_Fgrt-S even
Through D draw DR par.
AB meeting HA at M, and through
G draw NO par. to AB meeting HB
at P, and draw HL perp. to AB.
- > - x is*
Sq. AK = (rect. NK
H ^ = rect. AR = paral. AMDB = sq.
HB) + (rect. AO = paral. AGPB
= sq. HG) = sq. HD + sq. HG.
Cl - ______'K
sq. upon AB = sq.
Fig. 245
upon HB + sq. upon HA.
h2
= a + b
a. See Versluys, p. 28, fig. 25. By Werner.
GEOMETRIC PROOFS
185
a. See Versluys, p.
52, fig. 5^> as found in Hoff
mann^ list and in ,fDes Pythagoraische Lehrsatz," 1821.
Q^ne_Hundred__Forty^-Nj_ne
Produce CK and HB to
L, AG to M, ED to K, FG to C,
and draw MN and KO par. to AH.
Sq. AK = paral. AMLB
= quad. AGFB + rect. GN + (tri.
MLN = tri. ABH) = sq. GH
+ (rect. GN = sq. PO = sq. HD)
= sq. HG + sq. HD. .\ sq. upon
AB = sq. upon HB + sq. upon
HA. /. h2 = a2 + b2 .
a. By Dr. Geo. M.
Phillips, of West Chester, Pa.,
in 1875; Versluys, p. 5 8 , fig.
62.
Fig. 2^7
H
This type includes all proofs devised from
the figure in which the squares constructed upon the
hypotenuse and the two legs overlap the given tri
angle .
Qn_Hy.ndred_F j.ft
Draw through H, LN perp. to
AB, and draw HK, HC, NB and NA.
Sq. AK = rect. LB + rect.
LA = paral KN + paral. CN = 2 tri.
KHB + 2 tri. NHA = sq. HD + sq. HG.
sq. upon AB = sq. upon HD
+ sq. upon HA. .\ h2 = a2 + b2. Q.E.D.
a. See Math. Mo., 1859, Vol.
II, No. 2, Dem. 15, fig. 7.
18 6
GEOMETRIC PROOFS
187
188
GALILEO GALILEI
1564-1642
GEOMETRIC PROOFS
j. f t
!lQ.i_!iy.Q.d!ied_F
189
Seven
I
This type includes all proofs derived from a
figure in which there has been a translation from its
normal position of one or more of the constructed
squares.
Symbolizing the hypotenuse-square by h, the
shorter-leg-square by a, and the longer-leg-square
by b, we find, by inspection, that there are seven
distinct cases possible in this I-type figure, and
that each of the first three cases have four possible
arrangements, each of the second three cases have two
possible arrangements, and the seventh case has but
one arrangement, thus giving 19 sub-types, as follows:
(l) Translation of the h-square, with
(a) The a- and b-squares constructed outwardly.
(b) The a-sq. constfd outfly and the b-sq. over
lapping.
(c) The b-sq. const1d outfly and the a-sq. over
lapping.
(d) The a- and b-sqfs constfd overlapping.
190
GEOMETRIC PROOFS
191
Qne_HuQ<dred_Fif t-Eiallt
Case (l), (a).
Fig.
256
BH + sq. AH.
.\ sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b 2 .
a. Original with the author, August 4, 1900.
Several other proofs from this figure is possible.
Qn_Hy.ndred_Fif ty-Hine
Case (l), (b).
In fig. 257, the
position of the sqfs are
evident, as the b-sq.
overlaps and the h-sq. is
translated to right of
normal position. Draw PM
perp. to AB through B,
take KL = PB, draw LC,
and BN and K0 perp. to
LC, and FT perp. to BN.
Sq. BK = (trap.
FONT = trap. PBDE) + (tri. CKO = tri. ABH) + (tri.
KLO = tri. BPH) + (quad. BOLQ + tri. BTF = trap. GFBA)
= sq. BH + sq. AH.
%
sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b2.
a. One of my dissection devices.
19 2
258
GEOMETRIC PROOFS
193
Qne_Hu_ndred_Sj_xt^^_Two
Case (l), (d).
Draw HO perp. to AB and
equal to HA, and KP par. to AB and
equal to HB; draw CN par. to AB,
PL, EF, and extend ED to R and BD
to Q.
Sq. CK = (tri. LKP = trap.
ESBH of sq. HD + tri. ASE of sq. HG)
+ (tri. HOB = tri. SDB of sq. HD
+ trap. AQDS of sq. HG) + (tri. CNH
= tri. FHE of sq. HG) + (tri. CLT
tri. FER of sq. HG) + sq. TO = sq. DG of sq. HG
sq. HD + sq. HG.
sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b2 . Q.E.D
a. Conceived, by author, to cover case (l),
(d).
Case (2 ), (a).
Fig. 261
194
On^Hundred^Six t^-Fgur
In fig. 262, the sq. AK
= parts 1 + 2 + 3 + 4 + 5 + 6
+ 16. Sq. HD = parts (12 = 5 )
+ (lj = 4) of sq. AK. Sq. HG
= parts (9 = 1 ) + (lO = 2 ) + (11
= 6 ) + (14 = 1 6 ) + (15 = 3 ) of
sq. AK.
QneHundred_Sjxty-Five
Case (2), (b).--Por which are
more proofs extant than for
any other of these 19 casesWhy? Because of the obvious
dissection of the resulting
figures.
In fig. 2 6 3 , extend PG to
C. Sq. AK = (pentagon AGMKB
= quad. AGNB common to sq*s AK
Fig. 265
and AP + tri. KNM common to sq*s
AK and PK) + (tri. ACG = tri. BNP
+ trap. NKDF) + (tri. CKM = tri. ABH) = sq. PK + sq.
AF.
sq. upon AB = sq. upon BH + sq. upon AH.
.*. h2 = a2 + b 2 .
a. See Hill*s Geom. for Beginners, 1886, p.
154, proof I; Beman and Smith*s New Plane and Solid
Geom., l899> p. 104, fig. 4; Versluys, p. 22, fig. 20
as given by Schlbmilch, 1849; also F. C. Boon, proof
7, p. 105; also Dr. Leitzmann, p. 18, fig. 20; also
GEOMETRIC PROOFS
195
196
One_Hundred_Sixt-N j^ne
Fig. 267
GEOMETRIC PROOFS
197
QQ_Hu.ndrei_Seven t^-Qne
of Math., 1888,
p. 91, fig. IV;
(59); Beman and
fig. 2; Heaths
proof II.
fiO..*!ly.ndr
t^-Jwg
198
ne_t!y.Q.dLd_Seven ty-F^r
Case (2), (c).
Fig. 272
GEOMETRIC PROOFS
199
Fig. 27l*
200
Fig. 275
GEOMETRIC PROOFS
201
(a).
Eighty
202
Extend HA to G making
AG = HB, HB to M making BM
= HA, complete the square1s
HD, EC, AK and HL. Number the
dissected parts, omitting the
/ i
>\
tri's CLK and KMB.
7 i 1
>Fi1 '
V I
S . \
Sq. (AK = 1 + 4 + 5
/
+ 6) = parts (l common to sqs
/
HD and AK) + (4 common to sq's
EC and AK) + (5 = 2 of sq. HD
\
+ 3 of sq. E C ) + (6 = 7 of sq.
\k
EC ) = parts (l + 2) + parts
Fig. 279
(3 + 4 + 7) = sq. HD + sq. EC.
/. sq. upon AB = sq.
upon BH + sq. upon AH. /. h2 = a2 + b2 . Q.E.D.
a. See "Geometric Exercises in Paper Folding11
by T. Sundra Row, edited by Beman and Smith (1905),
p. 14.
' -a
Qne_Hy.ndr_Eiaht*-Iwq
In fig. 280, extend EF
to K, and HL perp. to CK.
Sq. AK = rect. BL + rect.
AL = paral. BF + paral. AF = sq.
HD + sq. GF.
.\ sq. upon AB = sq. upon
BH + sq. upon AH. .\ h2 = a2 + b2.
a. See Am. Math. Mo., V.
VI, 1899, P. 33, proof LXXXIV.
ft!lL-HU.ndred-Eiciht^-Ihre
In fig. 28l, extend EF to K.
Sq. AK = quad. ACFL common to sq's AK and GF
GEOMETRIC PROOFS
203
204
lX
Lrv
hL'19
'
j**
1
\ 1
-JK
fia_tl!iadrd_Eiflht^-Five
Case (3), (c).
Fig. 282
SjLx
CE.
GEOMETRIC PROOFS
205
SlLt_H!iQ.dre d_Eight^-Seven
Fig. 285
In fig. 285 it is ob
vious that the parts in the
sq. HD and HF are the same
in number and congruent to
the parts in the square AK.
the sq. upon AB
= sq. upon BH + sq. upon AH,
or h2 = a2 + b2 .
a. One of R. A. Bell's
proofs, of Dec. 3> 1920 and
received Feb. 28, 1958.
Qn&_Hundrd_E.L<lhtX-Eight
Case (3), (d).
c r ------ *!k
Fig. 286
LXXXIX.
b. As the relative position of the given tri
angle and the translated square may be indefinitely
206
Qna_l!i.aire4_Eiab.t*zHj.ne
Fig. 287
Fig. 288
GEOMETRIC PROOFS
207
&ne_Hiindr4_&int-0ne
?*
18, 1926.
Gne_Hin4re4_Hinet-Iw2
208
TC* 9
Qne_Hundred_Hinty-Fqur
Fig. 292
Extend HA to G mak
ing AG = HB; extend HB to D
making BD = HA. Complete
sq's PD and PG, Draw HQ
perp. to CK and through P
draw LM and TU par. to AB.
PR = CO = BW.
The translated sq's
are PD = BE' and PG = HG1.
Sq. AK = parts (l
+ 2 + 3 + 4 + 5 + 6 + 7 + 8)
= parts (3 + 4 + 5 + 6 = sq.
P D ) + parts (l + 2 + 7 + 8)
= sq. PG.
GEOMETRIC PROOFS
209
Qn g._Hy.nsired _[j_ng.t
Fj_ve
1926 .
210
_2
= a
Sq. AK = sq. HM - (4
tri. ABH = 2 rect. HL = sq. EL
+ sq. LF + 2 rect. HL - 2 rect.
HL = sq. EL + sq. LF.
sq. upon AB = sq.
upon HB + sq. upon HA.
h2
= a + b .
a. See Journal of Edu
cation, 1887, Vol. XXVI, p. 21,
fig. XII; Iowa Grand Lodge Bul
letin, F and A.M., Vol. 50, No.
2, p. 44, fig. 2, of Feb. 1 9 2 9 .
Also Dr. Leitzmann, p. 20, fig.
Fig. 295
24, 4th Ed'n.
b. An algebraic proof is h2
(a + b )2 - 2ab
+, -.2
b .
1793-1856
GEOMETRIC PROOFS
211
i
\w% \
r"
y f
jn\
1
i iV>
i
Fig. 297
Iwq_Hundrd
Fig. 298
212
GEOMETRIC PROOFS
213
Fig. 300
u n d r e d _ T h r e e
dlred_Four
In fig. 302, complete
the sq. on EH, draw BD par. to
AH, and draw AL and KF perp.
to DB.
Sq. AK = sq. HG - (4
tri. ABH = 2 rect. HL) = sq.
EL + sq. DK + 2 rect. FM - 2
rect. HL = sq. EL + sq. DK.
sq. upon AB = sq.
upon HB + sq. upon HA. .\ h2
= a + b
214
u nd red _F j_ve
Fig. 305
Fig. 304
GEOMETRIC PROOFS
215
nndred_Sevn
In fig. 505, through H
draw LM, and draw CN par. to BH
and KO par. to AH.
Sq. AK = rect. KM + rect.
CM = paral. KH + paral. CH = HB
x KO + AH x CN = sq. on BH + sq.
on AH = sq. MD + sq. MG.
sq. upon AB = sq. upon
BH + sq. upon AH.
h2 = a2 + b 2.
a. Original with the
author January 31, 1926, 3 p.m.
Fig. 305
Iw2_Hundred_Ej_gh t
Case (7 ), (a).
In fig. 306, extend AB to X, draw WU and KS
each = to AH and par. to AB, CV and HT perp. to AB,
GR and FP par. to AB, and LW and AM perp. to AB.
216
GEOMETRIC PROOFS
217
218
y.nd re d_N in e
Case (l), (a).
In fig. 507, produce
GF to N a pt., on the perp. to
AB at B, and extend DE to L,
draw HL and AM perp. to AB.
The tri1s AMG and ABH are
equal.
Sq. HD + sq. GH
= (paral. HO = paral. L P )
+ paral. MN = paral. MP = AM
x AB = AB X AB = (AB)2 .
.\ sq. upon AB = sq.
upon BH + sq. upon AH.
h 2 = a2 + b2 .
a. Devised by author for case (l), (a),
March 20, 1926.
b. See proof No. 88, fig. 188. By omitting
lines CK and HN in said figure we have fig. 307.
Therefore proof No. 209 is only a variation of proof
No. 88, fig. 1 8 8 .
Analysis of proofs given will show that many
supposedly new proofs are only modifications of some
more fundamental proof.
GEOMETRIC PROOFS
219
Case (l),
(b).
220
l_tiy.Q.dr ed_Iwe W e
Case (2 ), (b).
Tri. HAC = tri. ACH.
Tri. HAC = i sq. HG.
Tri. ACH = i rect. AL.
Fig. 310
+ (AH - B H )2
221
GEOMETRIC PROOFS
+ b2.
Fig. 312
Ittg_Hy.ndred_F j_fteen
In fig. 313, produce HB to F
and complete the sq. AF. Draw GL
perp. to AB, FM par. to AB and NH
perp. to AB.
AO * HO
Sq. AF = AH2 = 4
+
=
Fig. 313
=
(AH2 + HB2 ) * AB
= BH2 + AH2.
[LO 2 = (AO
HO)2] = 2A0 x HO + A0:
2A0 x HO + HO2 = AO"2 +' HO2 = (AO
AH2 f A B )2
(HO = AH : HB -5- AB)2
AH + AB2 + AH2
HB2 * AB2 = AH
1 = (AH2 + BH2 ) -5- AB
AB2
222
GEOMETRIC PROOFS
22J
Fig. 316
Iwg.Hunred_Ninteen
In fig. 318, extend HB to N and complete the
S<1' H M ' Sq. AK . sq. HM - 4 _ I H A . (LA +
- 2HB x HA = LA2 + '2LA x AH + AH2 - 2HB * HA = BH2
+ AH2 .
224
\)
:
,*
bl \~~?V
Iwft_Hy.nred_Iwen
GEOMETRIC PROOFS
22 5
Iwft_Hftndred_Twent^-Twq
Fig. 321
226
GEOMETRIC PROOFS
227
228
Iw&_Hy.Q.iLei_lllt-Six
In fig. 325, it is ob
vious that tri's 7 + 8 = rect.
GL. Then it is easily seen,
from congruent parts, that:
sq. upon AB = sq. upon BH + sq.
upon AH. .\ h2 = a2 + b2 .
a. Devised by R. A.
Bell, Cleveland, 0., July 4,
1918. He submitted three more
of same type.
Iwq_Hy.ndred_Iwent-Seven
In fig. 326, FG' = FH' = AB = h, DG' = EF
= FN = OH' = BH = a, and D M 1 = EH' = G'N = FO = AH
= b.
GEOMETRIC PROOFS
229
= a2 + b2 . .\ sq. upon AB =
AH.
a. Devised by author, Jan. 5, 1934.
b. See Versluys, p. 6 9 , fig. 73.
/vN
Iwfi_Hy.nred_Iw.n t-Nin.
+ sq. MH
2J0
l_d!indrd_Th j.rt
Draw HC perp. to AB.
The
three tri's ABH, BHC and HAC are sim
ilar.
We have three sim. trifs
erected upon the three sides of tri.
ABH whose hypotenuses are the three
sides of tri. ABH.
Now since the area of tri. CBH + area of tri.
CHA = area of tri. ABH, and since the areas of three
sim. tri's are to each other as the squares of their
corresponding sides, (in this case the three hypote
nuses), therefore the area of each tri. is to the sq.
of its hypotenuse as the areas of the other two tri's
are to the sq's of their hypotenuses.
GEOMETRIC PROOFS
231
232
= AB2 = h2.
a. See Versluys, p.
Kruger, 1746.
.*. h2 = a2 + b2.
fig. 100, as given by
89,
332
GEOMETRIC PROOFS
233
HO
* ED
Iwq_Hundred_Thirt^-F^v
Fig. 333 and 334 are same
in outline. Draw HF perp. to AB,
and draw DC, DF and FC. As in
proof, fig. 333, HC is a st. line
par. to BD. Then tri. BDH = tri.
B D C . -- (l) As quad. HFBD is in
scriptible in a circle whose center
is the center of HB, then angle BFD
= angle DFH = 45 = angle FBC.
FD
is par. to CB, whence tri. BCD
= tri. BCF. (2 ).
234
GEOMETRIC PROOFS
255
UQ dr ed_Thj_r
Eight
2J6
Fig. 339
Iw_Hu.Q.d r ed _F qt
GEOMETRIC PROOFS
237
Iwq.Hundred_Fgrty.-Qne
Let tris CBA, DHB and EAH be similar isos
celes tri's upon the bases AB, BH and AH of the rt.
2J8
(i).
GEOMETRIC PROOFS
259
240
l_Hundred_Fort-Three
In fig. 342, produce AH to
E making HE = HB, produce BH to F
making HF = HA, draw PUB perp. to AB
making BK = BA, KD. par. to AH, and
draw EB, KH, KA, AD and AF. BD = AB
and KD = HB.
Area of tri. ABK = (area of
tri. KHB = area of tri. EHB) + (area
of tri. AHK = area of tri. AHD)
+ (area of ABH = area of ADF).
area of ABK = area of tri. EHB + area of
tri. AHF.
sq upon AB = sq. upon BH + sq. upon AH.
.. h = a + b 2
. See Edwards1 Geom., 1895, p. 158, fig. (20).
Fig. 543
+ iw
x DB - m
+ i
BH
BH
= 2AH x AB - 2AH2 + A B 2 + AH2 - 2AH x AB.
= BH2 + AH2 .
BH"
AB"
GEOMETRIC PROOFS
241
BA to L
draw EL
duce BH
and EBL
\
\
\
\
\
\
\
\
\
242
Fig. 345
AE x r
But since
/. r = i (h
/. (h + a
+ h(h + a
) = iab + hr.
2r = h + a + b,
+ a + b ).
+ b )2 = -|ab
+ b), whence h2
= a2 + b 2 .
/. sq. upon AB = sq. upon BH + sq. upon AH.
h2 = a2 + b2 .
a. This proof is original with Prof. B. F.
Yanney, Wooster University, 0. See Ajn. Math. Mo.,
Vol. VI, 18 9 9 , P. 70, XCVII.
Iwg_HiiQdr^_Fgrt-Seven
In fig. J46, let AE
= BH. Since the area of a
circle is nr2, if it can be
proven that the circle whose
radius is AB = the circle
whose radius AH + the circle
whose radius is AE, the truth
sought is established.
It is evident, if the
triangle ABH revolves in the
plane of the paper about A as
a center, that the area of
the circle generated by AB
will equal the area of the
circle generated by AH plus the area of the annulus
generated by HF.
Hence it must be shown, if possible, that the
area of the annulus is equal to the area of the cir
cle whose radius is AE.
GEOMETRIC PROOFS
243
- ij)
= - = HK.
m
v.
244
NO TRIGONOMETRIC PROOFS
Facing forward the thoughtful reader may
raise the question: Are there any proofs based upon
the science of trigonometry or analytical geometry?
There are no trigonometric proofs, because
all the fundamental formulae of trigonometry are them
selves based upon the truth of the Pythagorean Theo
rem; because of this theorem we say sin2A + cos2A
= 1, etc. Triginometry is because the Pythagorean
Theorem i s.
Therefore the so-styled Trigonometric Proof,
given by J. Versluys, in his Book, Zes en Negentig
Bewijzen, 1914 (a collection of 96 proofs), p. 94,
proof 95, is not a proof since it employs the formula
sin2A + c o s 2A = 1.
As Descartes made the Pythagorean theorem the
basis of his method of analytical geometry, no inde
pendent proof can here appear. Analytical Geometry
is Euclidian Geometry treated algebraically and hence
involves all principles already established.
Therefore in analytical geometry all rela
tions concerning the sides of a right-angled triangle
imply or rest directly upon the Pythagorean theorem
as is shown in the equation, viz., x2 + y2 = r2 .
And The Calculus being but an algebraic in
vestigation of geometric variables by the method of
limits it accepts the truth of geometry as estab
lished, and therefore furnishes no new proof, other
than that, if squares be constructed upon the three
RENE DESCARTES
1596-1650
GEOMETRIC PROOFS
245
Iwq
In fig. 348, extend BH to C
making HC = HB and draw AC.
As vec
tors AB = AH + HB, or A = B + G (l).
Also AC = AH + HC, or A = B - G (2).
Squaring (l) and (2) and
adding, we have A2 + A 2 = 2B2 + 2G2 .
Or as lengths, AB2 + AC2 = 2AH2
+ 2AB2 . But AB = AC.
AB2 = AH2 + HB2 .
0 2 , -.2
a
+ b .
246
QUATERNIONIC PROOFS
247
fine
In compliance with the
theory of the moment of couple,
in mechanise (see "Mechanics
for Beginners, Part I," 1 8 9 1 ,
by Rev. J. B. Locke, p. 105),
the moment of the sum of two
conjoined couples in the same
flat plane is the same as the
sum of the moments of the two
couples, from which it follows
that h2 = a2 + b2 .
If FH and AG represent
two equal powers they form a
couple whereof the moment
equals FH x AH, or b2 .
If HE and DB represent two other equal powers
they form a couple whereof the moment equals DB * HB
or a2 .
To find the moment of the two couples join
the two powers AG and HE, also the two powers DB and
FH. To join the powers AG and HE, take AM = HE. The
diagonal AN of the parallelogram of the two powers AG
and AM is equal to CA. To join the powers FH and DB,
take BO = DB. The diagonal BK of the parallelogram
of the two powers (FH = B P ) and BO, is the second
2^8
DYNAMIC PROOFS
249
Fig. 552
250
DYNAMIC PROOFS
251
252
DYNAMIC PROOFS
253
4. GK = 4HI, for HI = TU = GT = UV = VK
(since VK is homologous to BI in the equal triangles
VKI and BIM). In like manner it can be shown that
PF = 4DE. That LO = 4MN is proven as follows: tri
angles LWM and IVK are equal; therefore the homolo
gous sides WM and VK are equal. Likewise OX and QD
are equal each being equal to MN. Now in tri. WJX,
MJ and XN = NJ; therefore M and N are the middle
points of WJ and XJ; therefore WX = 2MN; therefore
LO = 4MN.
5. The three trapezoids HIGK, DEPF and MNLO
are each equal to 5 times the triangle CAB.
The 5
triangles composing the trapezoid HIGK are each equal
to the triangle CAB, each having the same base and
altitude as triangle CAB. In like manner it may be
shown that the trapezoid DEPF, so also the trapezoid
MNLO, equals 5 times the triangle CAB.
6 . The square MK + the square NP = 5 times
the square EG or BN. For the square on MI = the
square on MY + the square on YI + (2AB)2 + AC2 = 4AB2
+ AC2; and the square on ND + the square on NZ + the
square ZD = AB2 + (2AC)2 = AB2 + 4AC2 . Therefore the
square MK + the square NP = 5AB2 + 5AC2 = 5(AB2 + A C 2 )
= 5BC2 = 5 times the square BN.
7. The bisector of the angle A 1 passes through
the vertex A; for A'S = AfT. But the bisector of the
angle B f or C 1, does not pass through the vertex B,
or C. Otherwise BU would equal B U 1, whence NUM + U ffM
would equal NM + U^M1 ; that is, the sum of the two
legs of a right triangle would equal the hypotenuse
+ the perpendicular upon the hypotenuse from the right
angle. But this is impossible. Therefore the bisec
tor of the angle B 1 does not pass through the vertex
B.
8 . The square on LO = the sum of the squares
on PF and GK; for LO : PF : GK = BC : CA : AB.
9. Etc., etc.
See Casey1s Sequel to Euclid, 1900, Part I,
p. 16.
254
255
Three
The sum of all the num
bers (AK = 525) = the sum of
all the numbers in square (HD
= 1 8 9 ) + the sum of all the
numbers in square (HG + 1 3 6 ).
Square AK is made up
O f 13, 3 x (3 X 13), and 5
x (5 x 13); square HD is made
up of 2 1 , 3 x (3 x 2 1 ), and
square HG is made up of 4 * 34
- each row, column and diag
onal, and the sum of the four
inner numbers.
Fig. 357
Many other magic squares
of this type giving 3 2 5 , 189 and 136 for the sums of
AK, HD and HG respectively may be formed.
This one was formed by Prof. Paul A. :owne,
256
KS2EQ]FHEEESEE!13I 321
33 3EsnmnoEBzii] C E l
B 5155151B B
B9 1
PIT155S1PTPTSIX 5 Tl
31E B! SSB3RI5S B ! E l
nii7;i55ircraaaarr^B
33!2S3HIRERXI21S Rfl
ZDninwHEBiaiLiESE
Fig. 359
M0n the hypotenuse and legs of the rightangled triangle, ESL, are constructed the concentric
magic squares of 100, 64, 56 and 16. The sum of the
two numbers at the extremities of the diagonals, and
257
ADDENDA
Iwo.Hundred.Ffcrtfc-Eight
ADDENDA
259
It is easily proven
that: tri. GFY = tri. FHE
= tri. ABH = tri. CMA = tri.
ARC = tri. CWK; also that
tri. GAE = tri. CMH; tri.
LGE = tri. CXH; tri. FYL
= tri. EDN = tri. WKY; tri.
GFY = tri. GFL + tri. NED;
that paral. BHWK = sq. HD.
Then it follows that sq. AK
= pentagon MCKBH - 2 tri.
ABH = (tri. MCH = tri. GAE)
+ (tri. CXH = tri. LGE)
+ [(quad. BHXK = pent. HBDNE)
= sq. BE + (tri. EDN = tri.
WKX)] = hexagon GAHBDNL - 2
tri. ABH = sq. AF + sq. BE.
.\ sq. upon AB = sq. upon HB + sq. upon HA.
h2 = a2 + b2.
a. This proof, with figure, devised by Mas
ter Joseph Zelson and submitted June 29, 1959, and
here recorded July 2, 1959.
b. Its place is next after No. 247, on p.
185 above.
Iwq_Hy.ndred_F j[ft
Fig. 362
260
-[
_ _
(FL + OE = FM = A B ) x (FE = AB )"|
trap. FLOE = -i------------- --- L--- 1------- L \
trap. LABO
] -
AB"
= sq. on AB.
sq. upon AB = sq. upon HB + sq. upon HA.
.. h = a + b .
a. Type J, Case (l), (a). So its place is
next after proof Two Hundred Nine, p. 218.
b. Proof and fig. devised by Joseph Zelson.
Sent to me July 13, 1959.
Iwfi_Hy.ndred_M f
- F L ) )1
par2
ADDENDA
26l
l_Hy.Mred_Fif ty-Iwg
By dissection, as per
figure, and the numbering of
corresponding parts by same
numeral, it follows, through
superposition of congruent
parts (the most obvious proof)
that the sum of the four
parts (2 trifs and 2 quad1Is)
in the sq. AK = the sum of
the three parts (2 tris and
1 quad.) in the sq. PG + the
sum of the two parts (l tri.
and 1 quad.) in the sq. PD.
That is the area of the sum of the parts 1+2
+ 3 + 4 in sq. AK (on the hypotenuse A B ) = the area
of the sum of the parts 1* + 2 + 6 in the sq. PG
(on the line GF = line AH) + the area of the sum of
the parts 3 f + 4 in the sq. PD (on the line PK
= line HB), observing that part 4 + (6 = 5) = part 4.
a. Type I, Case (6), (a). So its place be
longs next after fig. 3 0 5 , page 215.
b. This figure and proof was devised by the
author on March 9, 1940, 7:30 p.m.
Iwo_Hy.nred_Fifty-Three
In "Mathematics for the Million," (1937), "by
Lancelot Hogben, F.R.S., from p. 6 3 , was taken the
f )llowing photostat. The exhibit is a proof which is
credited to an early (before 500 B.C.) Chinese mathe
matician. See also David Eugene Smiths History of
Mathematics, Vol. I, p. 30.
262
F ig . 19
The Book of Chou Pei Suan King, probably written about A.D. 40, is
attributed by oral tradition to a source before the Greek geometer taught what
we call the Theorem o f Pythagoras, i.e. that the square on the longest side o f
a right-angled triangle is equivalent to the sum o f the squares on the other
two. This very early example o f block printing from an ancient edition of the
Chou Pei, as given in Smiths History of Mathematics, demonstrates the truth
of the theorem. By joining to any right-angled triangle like the black figure
eBf three other right-angled triangles just like it, a square can be formed.
Nexr trace four oblongs (rectangles) like eaf B, each o f which is made up of
two triangles like ef B. When you have read Chapter 4 you will be able to put
together the Chinese puzzle, which is much less puzzling than Euclid. These
are the steps:
So
Hence
GEOMETRIC PROOFS
263
I&2_!iU.Q.drd_Fif t^-Four
In the figure extend
GF and DE to M, and AB and
ED to L, and number the
parts as appears in the
quad. ALMG.
It is easily shown
that: A ABH = AACG, ABKN
= AKBL and ACNF = AKOE;
whence A K = (AABH = A ACG
in sq. HG) + quad. AHNC com.
to D's AK and HG + (ABKN
Fig. 365
= AKBL)= (ABLD + quad. BDEO
= sq. HD) + (AOEK = A NFC) = D H D + DHG. Q.E.D.
h2 =
+ b
a. This fig. and demonstration was formulated
by Fred. W. Martin, a pupil in the Central JuniorSenior High School at South Bend, Indiana, May 27,
1940.
Iwfi_Hundred_Fi.f t- Fj.ye
Draw CL perp. to AH, join
CH and CE; also GB. Construct
sq. H D 1 = sq. HD. Then observe
that ACAH = ABAG, ACHE = A ABH,
ACER = ABFG and AMEK = ANE*A.
Then it follows that sq.
AK = (AAHC = AA GB in sq. HG)
+ (AHEC = ABHA in sq. AK) + (&ERC
= ABFG in sq. HG) + (ABDK - AMEK
= quad. BDEM in sq. HD) + AHBM
com. to sq*s AK and HD = sq. HD
+ sq. HG.
h2 = a2 + b2 .
a. This proof was dis
covered by Bob Chillag, a pupil
264
GEOMETRIC PROOFS
265
= cos ( - 9 ) = sin 0 . -- (5 )
"The extension of these functions to angles
will afford no
266
sin
GEOMETRIC PROOFS
267
a
b
a
c
cos 7 * cos
(4)
cos 7cos cos < e .
k '
k
k
k
k
"To get the special formula for the euclidian
case, we should develop all cosines in power series,
multiply through by k2, and then put l/k2 = 0, get
ting b2 = a2 + c2, the usual Pythagorean formula.1
a. This transcription was taken April 12,
1940, by E. S. Loomis.
b. This proof should come after c, p. 244.
ture,
1.
2.
3.
4.
5.
1.
2.
3.
4.
Sixteen
Thirty-Six
Thirty-Three
l4.
Leibniz's
(b. 1646), p.
59, ......
Ten
Fifty-Three
ADDENDA
269
BIBLIOGRAPHY
The sources, from which historical facts,
suggestions, illustrations, demonstrations and other
data concerning the preparation of this book, or for
further investigation by any one who may wish to com
pare and consider original sources, are comprised in
the following tabulation.
I. TEXTS ON GEOMETRY
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16 .
17.
18 .
19.
20.
21.
22.
23.
24.
25.
26.
Ray's Geometry.
Richards' (Claudius) MEuclides Elementorum
Geometricorum,11 164-5, Antwerpiae.
Sauvens* (M.) Geometry, 1755.
Schuyler's (Dr. A.) Elements df Geometry, 1 8 7 6 .
Simpson's (Thos.) Elementary Geometry.
Todhunter's Elements of Euclid, 1897.
Wells' Essentials of Geometry, 1899*
Wentworth and Smith's Plane Geometry, Revised Edi
tion, 1910.
Wentworth's New Plane and Solid Geometry, 1 8 9 5 .
271
272
BIBLIOGRAPHY
273
274
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
1888.
29. Schorer's The Theorem of Pythagoras, 1929.
30. Science, New Series, Vol. 32, 1910; Vol. 33, 1911;
Vol. 34, 1912.
31. Scientia Baccalurem.
32. The Scientific American Supplement, Vol. JO,
1 9 1 0 , pp. 359, 382-3.
33- Scientifique Revue, 1859.
V. GENERAL REFERENCE WORKS
1 . Ball*s Short History of Mathematics, 1888.
2. The Encyclopedia Britannica--articles on Geometry,
Magic Squares, Dynamics, Quaternions or Vector
Analysis, Euclid, Pythagoras, etc.
3. Encyclopadie, des Elementar Mathematick, 1923,
by H. Weber and J. Wellstein.
4. Scanscrit Mathematics.
(1) f,Viga Ganita.M
(2 ) ffYoncti Bacha."
5. Wolf's (Dr. Rudolph), Handbook of Mathematics, 1869
6 . Mliller (J. W. ), NUrnberg, 1819.
BIBLIOGRAPHY
275
VI.
276
TESTIMONIALS
Prom letters of appreciation and printed Re
views the following four testify as to its worth.
New Books. The Mathematics Teacher, 1928,
has: The Pythagorean Theorem, Elisha S. Loomis,
1927, Cleveland, Ohio, 2l4 pp. Price $2.00.
"One hundred sixty-seven geometric proofs
and fifty-eight algebraic proofs besides several
other kinds of proofs for the Pythagorean Theorem
compiled in detailed, authoritative, well-organized
form will be a rare 'find1 for Geometry teachers who
are alive to the possibilities of their subject and
for mathematics clubs that are looking for interest
ing material. Dr. Loomis has done a scholarly piece
of work in collecting and arranging in such conven
ient form this great number of proofs of our historic
theorem.
"The book however is more than a mere cata
loguing of proofs, valuable as that may be, but pre
sents an organized suggestion for many more original
proofs. The object of the treatise is twofold, 'to
present to the future investigator, under one cover,
simply and concisely, what is known relative to the
Pythagorean proposition, and to set forth certain es
tablished facts concerning the proofs and geometric
figures pertaining thereto.1
"There are four kinds of proofs, (l) those
based upon linear relations--the algebraic proof,
(2) those based upon comparison of areas--the geo
metric proofs, (j) those based upon vector operations
the quaternionic proofs, (4) those based upon mass
and velocity--the dynamic proofs. Dr. Loomis con
tends that the number of algebraic and geometric
proofs are each limitless, but that no proof by trig
onometry, analytics or calculus is possible due to
277
278
the fact that these subjects are based upon the righttriangle proposition.
nThis book is a treasure chest for any mathe
matics teacher. The twenty-seven years which Dr.
Loomis has played with this theorem is one of his
hobbies, while he was Head of the Mathematics Depart
ment of West High School, Cleveland, Ohio, have been
well spent since he has gleaned such treasures from
the archives. It is impossible in a short review to
do justice to this splendid bit of research work so
unselfishly done for the love of mathematics. This
book should be highly prized by every mathematics
teacher and should find a prominent place in every
school and public library."
H. C. Christoffenson
Teachers College
Columbia University, N.Y. City
TESTIMONIALS
279
INDEX OF NAMES
271 -76 .
k.
Some names occur two or more times, but the earliest occur
rence is the only one paged.
66
Adams, J., 60
Boon, F. C.,
Agassiz, 190
Arnasls, 8
AnaksInlander, 8
Andre, H. d,
Brand, E.,
98
65
Brandes, 272
67
Bressert, M. Piton,
Andronicus, 15
Breton,
Annairizo of Arabia,
Bretschenschneider, 155
Brown, Lucius, 79
Buck, Jenny de, 1^9
Bullard, L. J., 83
900 N.C., 51
Arabic proof, 121
Ash, M. y. (1683), 150
276
21*7
276
79
Camerer, 13
Camirs, Jules, 52
Bell, E. T. (Dr.), vi
Bell, Richard A.,
k$
Cantor, M., 5
Carmichael, Robert D.,
Casey, 253
Chauvenet, 52
281
109
2k
282
Chillag, Bob,
263
278
Ferekid, 9
Forbes, E., 203
Fourrey, E., *4-9
French, C., 133
C o l h u m , Arthur E., 53
Collins, Matthew,
18
119
(blind girl),
12
Galileo,
276
Gergonne, J. D.,
Copernicus,
12
Cramer, C.,
271
Glashier, J. W. L., 17
A., 276
Gob,
Graap, F.,
Grueber,
Darwin, 121a
Davies (Legendre),
2k
11
276
Grunert, J.
A., 53
13^
2kk
Descartes,
Hardy, 272
Diogenes,
Hawkins, Cecil, 57
Haynes, 226
Dulfer, A. E. B., 57
Heath,
Henkle, W. D.,
2*427*42*4-9
12
Hill,
271
Edwards, 25
Hippias, 9
England, W . , 120
29
Hogben, Lancelot, 26l
Eratokles, 9
Euclid,
13
57
Hopkins, G. I.,
Horace,
68
285
57
INDEX
1762,
Huberti,
Macay,
225
Hutton, Dr.,
271
1657,
Huygens,
283
OF NAMES
118
Hypasos, 11
Marconi,
Hypsiclem, 157
Marre, A.,
12
50
Martin, A r temas,
Martin, Fred W . ,
156
Isidorum,
17
263
Masares, 20
McCready, J. M., I7 I4Mclntosh, M., 209
8^
Jashemski, Stanley,
Meyer, P. Armand,
271
Milne,
Mnessarch, 7
177
Joan, R.,
Mo liman, E.,
86
Kambis,
79
Kemper, C. J., 70
omer,
128
Nengebrauer, 273
Klagel, 151
Newberg, J.,
Knoer, Alvin,
ho
276
Nielson, Chr.,
Krueger, 17^6, 1
Ilk
Oliver,
Olney,
Laertius,
Ozanam, M. de C. G.,
Lecchio,
1778 ,
110
Laisnez, Maurice, 50
Lamy, R. P.,
83
73
1685, 85
125
2k
126
Leibniz, von, 59
Pisano, Leonardo, 52
Lewis, J.,
275
Pithay, 7
k9
Piton-Bressant,
Plato,
Locke, J. B., 2 W
Plutarch,
Polycrates, 7
158
17
67
156
183
28k
Posthumus, J. J., 92
Proclos,
Templehoff, von,
Thales,
Psammenit, 9
66
Ptolemus (Ptolemy),
Pythagoras,
1769.,
129
Theana, 10
Thompson, J. G.,
23I*
Thornton, Wilson, 50
Raub, M.,
66
155
Tschou-Gun, 5
156
Richards, Claudius,
Uwan,
66
Rupert, Wm. W . , 23
Versluys, J., 13
Vincent, A. J. N.,
Vieth, van,
12
Sarvonarola,
132
275
Saunderson, 229
Sauveur, 227
Schau-Gao, 5
Schlomilch,
19k
Wallis, John, 52
Warius, Peter,
27I*
Schubert, Herman,
256
lk8
6k
272
Wells, 271
Wellstein, T., 1*0
Wentworth, 52
Werner, 0s car, 53
Skatschkow, 5
Whitworth,
Wipper, Jury,
155
1*9
275
Wolf, Rudolph,
3
27I*
86
Sonchis, 9
158
Zahradnik,
275