The School of Athens: (Raphael) 1510 - 11
The School of Athens: (Raphael) 1510 - 11
The School of Athens: (Raphael) 1510 - 11
=
Comparing corresponding sides in 1 and 3:
2
b c
x b
b cx = =
2 2 2
adding equations gives: a b c + =
D
x
1
2 3
A
B
C
a
b
c
o |
A
B
C
a
b
o
|
D D
|
o
x
C
Triangles ACB, CDB and ADC are
similar
c - x
a
The Theorem of Pythagoras
Euclid 1.47
The Windmill
Euclid of Alexandria
D
E
F
G
H
K
Proof:
Construct squares on each of the 3 sides (1.46)
To Prove that area of square BDEC = area of square ABFG + area of square ACHK
A
B
C
Draw AL through A parallel to BD (1.31)
Draw Lines AD and FC
M
L
CA and AG lay on the same straight line (2 right angles)(1.14)
In triangles ABD and FBC AB = FB (sides of the same small square)
BD = BC (sides of the same larger square)
Also included angles are equal (right angle + common angle ABC)
triangles are congruent (SAS) and so are equal in area (1.4)
Rectangle BDLM = 2 x area of triangle ABD (1.41)
Square ABFG = 2 x area of triangle FBC (1.41)
Area of rectangle BDLM = Area of square ABFG
Draw lines BK and AE
BA and AH lay on the same straight line (2 right angles (1.14)
In triangles ACE and BCK, AC = CK (sides of smaller square)
BC = CE (sides of larger square)
Also included angles are equal (right angle + common angle ACB)
triangles are congruent (SAS) and so are equal in area (1.4)
Rectangle MLCE = 2 x area of triangle Ace (1.41)
Square ACHK = 2 area of triangle BCK (1.41)
Area of rectangle MLCE = Area of square ACHK
Area of square BDEC = area of square ABFG + area of square ACHK. QED
Euclids Proof
Euclids Proof of the Converse of Pythagoras Theorem (I.48)
To prove that: If the square on the hypotenuse
is equal to the sum of the squares on the other
two sides then the triangle contains a right angle.
Draw CE perpendicular to BC
o
To prove that angle o is a right angle
Given c
2
= a
2
+ b
2
The Proof
b
c
a
C
A
B
E
Construct CD equal to CA
and join B to D
Applying Pythagoras Theorem to triangle BCD
BD
2
= BC
2
+ DC
2
(I.47)
BD
2
= a
2
+ b
2
(since BC = a and DC = b)
BD
2
= c
2
(since a
2
+ b
2
= c
2
given)
BD = c
D
Triangles BCD and BCA are congruent by (SSS) angle o is a right angle QED
Incommensurable Magnitudes (Irrational Numbers)
1
1
\2
The whole of Pythagorean mathematics
and philosophy was based on the fact
that any quantity or magnitude could
always be expressed as a whole number
or the ratio of whole numbers.
Unit Square
The discovery that the diagonal of a
unit square could not be expressed in
this way is reputed to have thrown the
school into crisis, since it undermined
some of their earlier theorems.
Story has it that the member of the school who made the
discovery was taken out to sea and drowned in an attempt to
keep the bad news from other members of the school.
He had discovered the first example of what we know today as
irrational numbers.
1
1
\2
1
It is possible to draw a whole series of lengths that are irrational by
following the pattern in the diagram below and using Pythagoras
Theorem. Continue the diagram to produce lengths of \3, \5, \6, \7,
etc. See how many you can draw. You should get an interesting shape.
1
1
\2
1
\3
1
\4
1
\5
1
\6
1
\7
1
\8
1
\9
1
\10
1
\11
1
\12
1
\13
1
\14
1
\15
1
\16
1
\17
1
\18
221 220 21 10
181 180 19 9
145 144 17 8
113 112 15 7
85 84 13 6
61 60 11 5
41 40 9 4
25 24 7 3
13 12 5 2
5 4 3 1
? ? 2n+1 n
There are an infinite number of triples of this type
Pythagorean Triples (Shortest side odd)
2n
2
+ 2n 2n
2
+ 2n + 1
485(125) 483(117) 44 10
401 399 40 9
325 323 36 8
257 255 32 7
197(53) 195(45) 28 6
145 143 24 5
101(29) 99(21) 20 4
65 63 16 3
37 35 12 2
17 15 8 1
? ? 4n+4 n
There are an infinite number of triples of this type
Pythagorean Triples (Shortest side even)
4n
2
+ 8n + 3 4n
2
+ 8n + 5
INVESTIGATE