Difference between revisions of "Proofs without words"
m (→Geometry: + rightanglemark(,,)) |
(→Geometry: [parallelogram] = ad-bc) |
||
Line 718: | Line 718: | ||
The area of a triangle is given by <math>A = \frac{1}{2} \cdot r \cdot (a+b+c) = rs</math>, where <math>r</math> is the [[inradius]] and <math>s</math> is the [[semiperimeter]].{{ref|10}} <br>(Comment: we do not need to re-arrange the triangles to a trapezoid to see this, but this re-arrangement works due to alternate interior angles/angle bisector properties of the incenter.)<br><br></center> | The area of a triangle is given by <math>A = \frac{1}{2} \cdot r \cdot (a+b+c) = rs</math>, where <math>r</math> is the [[inradius]] and <math>s</math> is the [[semiperimeter]].{{ref|10}} <br>(Comment: we do not need to re-arrange the triangles to a trapezoid to see this, but this re-arrangement works due to alternate interior angles/angle bisector properties of the incenter.)<br><br></center> | ||
+ | <center><asy>unitsize(15); defaultpen(linewidth(0.7) + fontsize(10)); pen heavy = linewidth(1); | ||
+ | real a = 4.5, b = 2.5, c = 2, d = 4; | ||
+ | pair A = (a,b), B = (a+c,b+d), C = (c,d), D = IP(B--B+2*(A-B), (0,0)--(a,0)), F = IP(B--B+2*(C-B), (0,0)--(0,d)), G = IP(B--D,(0,d)--(a+c,d)), H = IP(B--F,(a,0)--(a,b+d)), shiftR = (a+c+1,0), shiftR2 = 2*shiftR; | ||
+ | |||
+ | // left diagram | ||
+ | filldraw((0,0)--(a,0)--(a,d)--(0,d)--cycle, rgb(0.5, 1, 0.5)); draw((0,0)--A--B--C--cycle); draw(shift((a,d))*xscale(c)*yscale(b)*unitsquare); draw(A--D ^^ C--F, linetype("2 2")); | ||
+ | draw((0,0)--(a,0)--(a,b)--cycle, heavy); draw(shift(C)*((0,0)--(a,0)--(a,b)--cycle), heavy); | ||
+ | label("$a$",(a/2,0),S); label("$d$",(0,d/2),W); label("$b$",B-(0,b/2),E); label("$c$",B-(c/2,0),N); label("$(a,b)$",(a,b),SE,fontsize(8)); label("$(c,d)$",(c,d),NW,fontsize(8)); | ||
+ | |||
+ | // middle diagram | ||
+ | filldraw(shift(shiftR)*((0,0)--A--(a,d)--G--B--C--(0,d)--cycle), rgb(0.5, 1, 0.5)); filldraw(shift(shiftR)*(G--(a+c,d)--B--cycle), rgb(1,0.5,0.5)); draw(shift(shiftR)*((0,0)--(a,0)--(a,d)--(0,d)--cycle)); draw(shift(shiftR+(a,d))*xscale(c)*yscale(b)*unitsquare); draw(shift(shiftR)*(A--D ^^ C--F), linetype("2 2")); | ||
+ | draw(shift(shiftR)*((0,0)--(0,d)--(c,d)--cycle), heavy); draw(shift(shiftR+A)*((0,0)--(0,d)--(c,d)--cycle), heavy); | ||
+ | label("$a$",shiftR+(a/2,0),S); label("$d$",shiftR+(0,d/2),W); label("$b$",shiftR+B-(0,b/2),E); label("$c$",shiftR+B-(c/2,0),N); | ||
+ | |||
+ | // right diagram | ||
+ | filldraw(shift(shiftR2)*((0,0)--A--G--(a,d)--H--C--cycle), rgb(0.5, 1, 0.5)); | ||
+ | filldraw(shift(shiftR2)*(G--(a,d)--H--B--cycle), rgb(0.3, 0.9, 0.3)); filldraw(shift(shiftR2)*(G--(a+c,d)--B--cycle), rgb(1,0.5,0.5)); filldraw(shift(shiftR2)*(H--(a,b+d)--B--cycle), rgb(1,0.5,0.5)); draw(shift(shiftR2)*((0,0)--(a,0)--(a,d)--(0,d)--cycle)); draw(shift(shiftR2)*(A--D ^^ C--F), linetype("2 2")); | ||
+ | label("$a$",shiftR2+(a/2,0),S); label("$d$",shiftR2+(0,d/2),W); label("$b$",shiftR2+B-(0,b/2),E); label("$c$",shiftR2+B-(c/2,0),N); label("$\overrightarrow{(a,b)}$",shiftR2+(a,b),SE,fontsize(8)); label("$\overrightarrow{(c,d)}$",shiftR2+(c,d),NW,fontsize(8)); | ||
+ | </asy> | ||
+ | The area of a parallelogram with adjacent side vectors <math>\overrightarrow{(a,b)}, \overrightarrow{(c,d)}</math> is given by <math>\overrightarrow{(a,b)} \times \overrightarrow{(c,d)} = ad-bc</math>.<br><br></center> | ||
<center><asy> | <center><asy> |
Revision as of 03:38, 28 January 2011
The following demonstrate proofs of various identities and theorems using pictures, inspired from this gallery.
Summations
The sum of the first odd natural numbers is .
The sum of the first positive integers is .
The sum of the first positive integers is .[1]
Nichomauss' Theorem: can be written as the sum of consecutive integers, and consequently that .
Here, we use the same re-arrangement as the first proof on this page (the sum of first odd integers is a square). Here's another re-arrangement to see this:
This also suggests the following alternative proof:
An animated version of this proof can be found in this gallery.
The th pentagonal number is the sum of and three times the th triangular number.
If denotes the th pentagonal number, then .
The identity , where is the th Fibonacci number.
Geometric series
The infinite geometric series .
The infinite geometric series .
The infinite geometric series .
Another proof of the identity .
The infinite geometric series .
The arithmetic-geometric series , also known as Gabriel's staircase.[2]
Geometry
The Pythagorean Theorem (first of many proofs): the left diagram shows that , and the right diagram shows a second proof by re-arranging the first diagram (the area of the shaded part is equal to , but it is also the re-arranged version of the oblique square, which has area ).[3]
Another proof of the Pythagorean Theorem (animated version).
Another proof of the Pythagorean Theorem; the left-hand diagram suggests the identity , and the right-hand diagram offers another re-arrangement proof.
A dissection proof of the Pythagorean Theorem.[6] (Cut-the-knot)
COMING: The last proof of the Pythagorean Theorem we shall present on this page, this one by dissection.
(Comment: we do not need to re-arrange the triangles to a trapezoid to see this, but this re-arrangement works due to alternate interior angles/angle bisector properties of the incenter.)
The area of a dodecagon is , where is the circumradius.
The smallest distance necessary to travel between , the x-axis, and then for is given by .[4]
In trapezoid with , then .
Miscellaneous
from . (Source)
The Root-Mean Square-Arithmetic Mean-Geometric Mean inequality, .
The Root-Mean Square-Arithmetic Mean-Geometric Mean-Harmonic mean Inequality.[5]
Fermat's Little Theorem: for (above ).
References
- ^ MathOverflow
- ^ Wolfram MathWorld
- ^ Attributed to the Chinese text Zhou Bi Suan Jing.
- ^ This is more of a proof without words of the AM-GM inequality ; though the lengths of the segments labeled RMS and HM can easily be verified to have values of , respectively, it might not be obvious from the diagram. It still serves as a useful graphical demonstration of the inequality.