Upload
phungkhanh
View
214
Download
0
Embed Size (px)
Citation preview
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
Outline1. The Pythagorean Theorem
2. The distributive law is a scissors congruence
3. The product of two scissors congruences(general statement)
4. The product of two scissors congruences(right triangles)
5. The product of two scissors congruences(parallelograms)
6. The product of two scissors congruences (Πθγ × Πθγ )
7. Lots of pictures
8. The geometry and algebra together
x + y
z x z
w x w
y z
y w
x + y
z + w (x + y) (z + w)
x + y
z (x + y) z
w (x + y) w
x + y
z x z
w x w
y z
y w
x + y
z x z + y z
x y
z xz yz
q t x
q t y
q t z
q u x
q u y
q u z
q v x
q v y
q v z
r t x
r t y
r t z
r u x
r u y
r u z
r v x
r v y
r v z
s t x
s t y
s t z
s u x
s u y
s u z
s v x
s v y
s v z
( q + r + s ) (t + u + v) ( x + y + z)
a(-a)aa
a(-a)ab
a(-a)a(-c)
a(-a)(-b)a
a(-a)(-b)b
a(-b)(-b)(-c)
a(-a)ca
a(-a)cb
a(-a)c(-c)
abaa
abab
aba(-c)
ab(-b)a
ab(-b)b
ab(-b)(-c)
abca
abcb
abc(-c)
acaa
acab
aca(-c)
ac(-b)a
ac(-b)b
ac(-b)(-c)
acca
accb
acc(-c)
b(-a)aa
b(-a)ab
b(-a)a(-c))
b(-a)(-b)a
b(-a)(-b)b
b(-a)(-b)(-c)
b(-a)ca
b(-a)cb
b(-a)c(-c)
bbaa
bbab
bba(-c)
bb(-b)a
bb(-b)b
bb(-b)(-c)
bbca
bbcb
bbc(-c)
bcaa
bcab
bca(-c)
bc(-b)a
bc(-b)b
bc(-b)(-c)
bcca
bccb
bcc(-c)
c(-a)aa
c(-a)ab
c(-a)a(-c)
c(-a)(-b)a
c(-a)(-b)b
c(-a)(-b)(-c)
c(-a)ca
c(-a)cb
c(-a)c(-c)
cbaa
cbab
cba(-c)
cb(-b)a
cb(-b)b
cb(-b)(-c)
cbca
cbcb
cbc(-c)
ccaa
ccab
cca(-c)
cc(-b)a
cc(-b)b
cc(-b)(-c)
ccca
cccb
ccc(-c)
a(-a)aa
a(-a)ab
a(-a)a(-c)
a(-a)(-b)a a(-a)ca
abaa
ab(-b)b
acaa
acc(-c)
b(-a)aa
b(-a)(-b)b
bbab
bb(-b)a
bb(-b)b
bb(-b)(-c)
bbcb
bc(-b)b
bcc(-c)
c(-a)aa
c(-a)c(-c)
cb(-b)b
cbc(-c)
cca(-c) cc(-b)(-c)
ccca
cccb
ccc(-c)
a(-b)(-b)(-c)
a(-a)cb
aba(-c) ab(-b)(-c)
abca
abcb
abc(-c)
acab
ac(-b)a
ac(-b)b
ac(-b)(-c)
accb
b(-a)a(-c)) b(-a)(-b)(-c)
b(-a)ca
b(-a)cb
b(-a)c(-c)
bba(-c)
bbca
bcaa
bcab
bca(-c)
bc(-b)a bcca
c(-a)ab
c(-a)(-b)a
c(-a)(-b)b
c(-a)(-b)(-c)
c(-a)cb
cbaa
cbab
cba(-c)
cb(-b)a cbca
ccab
cc(-b)a
a(-a)(-b)b
a(-a)c(-c)
abab
ab(-b)a
aca(-c)
acca
b(-a)ab
b(-a)(-b)a
bbaa
bbc(-c)
bc(-b)(-c)
bccb
c(-a)a(-c)
c(-a)ca
cb(-b)(-c)
cbcb
ccaa
cc(-b)b
R’
S’
D’
L’
R’
S’
D’
L’
R’
S’
D’
L’
R
U
D
S
R’
S’
D’
L’
R’
S’
D’
L’
(1)
(3)
(2)
(4)
(5)
U’
U’
U’
U’
U’
L
On the right-hand-side of Heron’s formula, theexpression
2a2b2 + 2a2c2 + 2b2c2 − a4 − b4 − c4
appears. We first consider the four terms a2b2,a2b2, (−a4), and (−b4). Recall, that we haveplaced the triangle with edge lengths a ≤ b ≤ c inthe coordinate plane with vertices (0, 0), (p, 0)and (q, r) where a2 = q2 + r2, b2 = (p− q)2 + r2),and c = p.
Since both a and b are expressed as the sum ofsquares (a2 = q2 + r2 and b2 = (p− q)2 + r2), eachof the hyper-solids (hyper-rectangles)[0, a]× [0, b]× [0, a]× [0, b],[0, b]× [0, a]× [0, b]× [0, a],[0, a]× [0, a]× [0, a]× [0, a], and[0, b]× [0, b]× [0, b]× [0, b] can be decomposed asin the preceding section.
The algebraic identities
a4 = (q2 + r2)(q2 + r2)
= q4 + 2r2q2 + r4,
b4 = ((p− q)2 + r2)((p− q)2 + r2)
= (p− q)4 + 2(r2(p− q)2) + (p− q)4,
a2b2 = (q2 + r2)((p− q)2 + r2)
= q2(p− q)2 + r2(p− q)2 + q2r2 + r4
are all realized as scissors congruences.
The expressions a2c2 and b2c2 have similar, butmuch easier decompositions as scissorscongruences. So the identities
a2c2 = (q2 + r2)p2
= q2p2 + r2p2,
b2c2 = ((p− q)2 + r2)p2
= (p− q)2p2 + r2
are also realized as scissors congruences.
2a2b2 + 2a2c2 + 2b2c2 − a4 − b4 − c4
= 2[(q2 + r2)((p− q)2 + r2)
]+2
[(q2 + r2)(p2)
]+ 2
[((p− q)2 + r2)(p2)
]−(q2 + r2)2 − ((p− q)2 + r2)2 − p4
= 2q2(p− q)2 + 2r2(p− q)2 + 2q2r2 + 2r4
+2q2p2 + 2p2r2 + 2(p− q)2p2 + 2p2r2
−[q4 + 2q2r2 + r4 + (p− q)4+
2r2(p− q)2 + r4 + p4]is a scissors congruence.
2a2b2 + 2a2c2 + 2b2c2 − a4 − b4 − c4
= 2q2(p− q)2 + 2r2(p− q)2 + 2(p− q)2p2 − (p− q)4 − 2r2(p− q)2
+2q2p2 + 4p2r2 − q4 − p4
+2q2r2 + 2r4 −[2q2r2 + 2r4]
= (p− q)2 [2q2 + 2r2 + 2p2 − (p− q)2 − 2r2]
+4p2r2 −[q4 − 2q2p2 + p4]
= (p− q)2 [2q2 + 2p2 − (p− q)2]
+4p2r2 −[p2 − q2]2
= (p− q)2 [q + p]2
−[p2 − q2]2
+ 4p2r2
= 4p2r2.