Community

Looking for a challenging algebra text? Preparing for MATHCOUNTS or the AMC exams?
Check out Art of Problem Solving's Introduction to Algebra by Richard Rusczyk.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Sat Dec 05, 2009 6:25 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
Poll

Do you know how to prove the Pythagorean Theorem?

Yes
70%
 70%  [ 66 ]
No
9%
 9%  [ 9 ]
Kind of
19%
 19%  [ 18 ]

Total Votes : 93

 
Proof of Pythagorean Theorem
Moderators: isabella2296
Post new topic   This topic is locked: you cannot edit posts or make replies. View previous topicView next topic
27 Posts • Page 1 of 2 • 1, 2 Next
Author Message
PowerOfPi
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 30 Apr 2009
Posts: 2021
Location: Planet Pi
United States

To rate posts you must be logged in
#1
Proof of Pythagorean Theorem
Does anyone know how to prove it?

Does anyone know how to prove the Pythagorean Theorem?

I use it every day but I don't know how it works.

PostPosted: Fri May 08, 2009 4:56 pm  Back to top 
  ProfilePMBlogAlbum
RoFlLoLcOpT
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 29 Mar 2009
Posts: 699
Location: NJ
ChinaUnited States

To rate posts you must be logged in
#2
You could use trigonometry to prove it.

trig proof
From a well known identity, \sin^2\theta+\cos^2\theta=1.
dot((0, 0));
dot("$\theta$", (0, 2), NW);
dot((3, 0));

draw("$a$", (0, 0)--(0, 2), W);
draw("$b$&qu...
So \sin^2\theta+\cos^2\theta=1, substituting-ish, \left(\frac{b}{c}\right)^2+\left(\frac{a}{c}\right)^2=1\implies\frac{a^2+b^2}{c^2}=1\implies a^2+b^2=c^2.
Q.E.D.


geometric proof

dot((0, 0));
dot((4, 0));
dot((4, 4));
dot((0, 4));
dot((3, 0));
dot((4, 3));
dot((1, 4));
dot((0, 1));

draw((0, 0)--(4, 0))...

The area of the large square is (a+b)^2=a^2+2ab+b^2. The area of the small square is c^2. Another way to find the area of the small square is to subtract the combined areas of the triangles, which each have area \frac{ab}{2}. There are 4 of them so their combined area is 2ab. Subtracting, we have a^2+2ab+b^2-2ab=c^2\implies a^2+b^2=c^2.

Q.E.D.


In addition to these proofs, there are MANY MANY more. Try to find some of them by yourself!

PostPosted: Fri May 08, 2009 5:12 pm  Back to top 
  ProfilePMAlbum
PowerOfPi
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 30 Apr 2009
Posts: 2021
Location: Planet Pi
United States

To rate posts you must be logged in
#3
Thank you. That was really helpful and now I can understand it.

PostPosted: Fri May 08, 2009 5:16 pm  Back to top 
  ProfilePMBlogAlbum
winsome
New Member
New Member

Offline
Joined: 07 Dec 2008
Posts: 7

To rate posts you must be logged in
#4
To learn more you may click the link below and go through video lesson on ‘Pythagorean Theorem'.

http://www.winpossible.com/lessons/Geometry_Getting_Started_-_Pythagorean_theorem.html

PostPosted: Sun May 10, 2009 8:39 pm  Back to top 
  ProfilePM
Bachukas
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 10 Jul 2008
Posts: 784
Location: Lithuania
Lithuania

To rate posts you must be logged in
#5
RoFlLoLcOpT wrote:
You could use trigonometry to prove it.

From a well known identity, \sin^2\theta + \cos^2\theta = 1.


You cannot prove pythagorean theorem using this identity, because identity is proved by using pythagorean theorem.

PostPosted: Mon May 11, 2009 11:24 am  Back to top 
  ProfilePM
PowerOfPi
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 30 Apr 2009
Posts: 2021
Location: Planet Pi
United States

To rate posts you must be logged in
#6
Good point.
_________________
Sign up for MOCK AMC!

PostPosted: Mon May 11, 2009 1:33 pm  Back to top 
  ProfilePMBlogAlbum
AceOfDiamonds
Riemann Hypothesis
Riemann Hypothesis


Offline
Joined: 06 May 2009
Posts: 453
Location: Charlotte, North Carolina

To rate posts you must be logged in
#7
dot("A", (0,0));
dot("B", (0,3));
dot("C", (4,0));
dot("M", (1.44,1.92));
draw((0,0)-...
Ok. M is projection of A on BC.
\angle CAB \cong \angle AMB
\angle ABC \cong \angle MBA
You get \triangle ABC \sim \triangle MBA
And from that you get \frac {CB}{AB} = \frac {AB}{MB} and from that
AB^2 = MB\times BC
Similarly, you do the same stuff and you get
AC^2 = CM\times CB
Now add the two equations and you get
AB^2 + AC^2 = MB\times BC + CM\times CB
now since CB is BC, you get
AB^2 + AC^2 = MB(BC) + CM(BC)
now factoring out BC gives
AB^2 + AC^2 = (MB + CM)(BC)
Now since MB + CM = BC, you get
\boxed{AB^2 + AC^2 = BC^2}
Q.E.D Smile

(First time using asymptote. It takes a long time to type. Also, I came up with this proof using Alt. on Hyp. theorems myself. Not that I'm saying I'm the first or anything)
Last edited by AceOfDiamonds on Tue May 12, 2009 4:25 pm; edited 1 time in total 
PostPosted: Mon May 11, 2009 4:41 pm  Back to top 
  ProfilePM
Mukherjee
Poincare Conjecture
Poincare Conjecture

Offline
Joined: 13 Sep 2008
Posts: 141

To rate posts you must be logged in
#8
Quote:

Ok. M is projection of A on BC.
\angle CAB \cong \angle AMB
\angle ABC \cong \angle MBA
You get \triangle ABC \cong \triangle MBA


How can triangle CAB be congruent to AMB?Did you not mean they are similar?

PostPosted: Tue May 12, 2009 1:07 am  Back to top 
  ProfilePM
akhil0422
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 26 Nov 2008
Posts: 669
Location: Houston, TX
IndiaUnited States

To rate posts you must be logged in
#9
How is AB^2 + AC^2 = BC^2 = A^2 + b^2 = C^2.

Or am I just being stupid?

And what is QED? You and RofLoc... whatever... use it all the time.
_________________
Become my friend on FaceBook! My name is Akhil Ganti -\alpha\kappa\hbar\imath\ell

PostPosted: Tue May 12, 2009 3:39 pm  Back to top 
  ProfilePM
RoFlLoLcOpT
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 29 Mar 2009
Posts: 699
Location: NJ
ChinaUnited States

To rate posts you must be logged in
#10
google is your friend

you're being stupid Razz jk

This is the pythagorean theorem...

\text{leg}_1^2+\text{leg}_2^2=\text{hypotenuse}^2. In this case, \text{leg}_1=AB, \text{leg}_2=AC, \text{hypotenuse}=BC

PostPosted: Tue May 12, 2009 3:46 pm  Back to top 
  ProfilePMAlbum
AceOfDiamonds
Riemann Hypothesis
Riemann Hypothesis


Offline
Joined: 06 May 2009
Posts: 453
Location: Charlotte, North Carolina

To rate posts you must be logged in
#11
muks wrote:
Quote:

Ok. M is projection of A on BC.
\angle CAB \cong \angle AMB
\angle ABC \cong \angle MBA
You get \triangle ABC \cong \triangle MBA


How can triangle CAB be congruent to AMB?Did you not mean they are similar?

Yeah i meant similar sorry \LaTeX error thanks for catching that

PostPosted: Tue May 12, 2009 4:27 pm  Back to top 
  ProfilePM
u63rn3rd
New Member
New Member

Offline
Joined: 01 Mar 2009
Posts: 6

To rate posts you must be logged in
#12


I think this is a good explanation.

PostPosted: Tue May 12, 2009 5:57 pm  Back to top 
  ProfilePMBlog
u63rn3rd
New Member
New Member

Offline
Joined: 01 Mar 2009
Posts: 6

To rate posts you must be logged in
#13
oops, I accidentally cut off the equations. they say 5^2+12^2=169 and 169 ^.5 = 13 Embarassed

PostPosted: Tue May 12, 2009 6:12 pm  Back to top 
  ProfilePMBlog
PowerOfPi
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 30 Apr 2009
Posts: 2021
Location: Planet Pi
United States

To rate posts you must be logged in
#14
It is a good explantation but it only proves the 5-12-13 triangle.
_________________
Sign up for MOCK AMC!

PostPosted: Tue May 12, 2009 6:37 pm  Back to top 
  ProfilePMBlogAlbum
AceOfDiamonds
Riemann Hypothesis
Riemann Hypothesis


Offline
Joined: 06 May 2009
Posts: 453
Location: Charlotte, North Carolina

To rate posts you must be logged in
#15
ummm that 'explanation' doesn't really explain anything. 5-12-13 is a well-known pythagorean triple, but that applet doesn't show anything about the pythagorean theorem other than an example. It doesn't even prove that the triangle is a right triangle.

PostPosted: Tue May 12, 2009 9:19 pm  Back to top 
  ProfilePM
nick42
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 10 Jun 2008
Posts: 533
United States

To rate posts you must be logged in
#16
AceOfClubs wrote:
ummm that 'explanation' doesn't really explain anything. 5-12-13 is a well-known pythagorean triple, but that applet doesn't show anything about the pythagorean theorem other than an example. It doesn't even prove that the triangle is a right triangle.


uhhh actually u63rn3rd's proof with the squares is one of the most basic ones of the pythag theorem. please look it up if you don't get it.
_________________
(I want YOU to click the smiley.).

Rotfl

PostPosted: Wed May 13, 2009 12:05 pm  Back to top 
  ProfilePM
RoFlLoLcOpT
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 29 Mar 2009
Posts: 699
Location: NJ
ChinaUnited States

To rate posts you must be logged in
#17
I'm pretty sure everyone knows the square proof...

When you prove something, you can't use an example. The Pythagorean Theorem must be proved for all numbers a, b, c, not just certain example lengths.

PostPosted: Wed May 13, 2009 12:55 pm  Back to top 
  ProfilePMAlbum
u63rn3rd
New Member
New Member

Offline
Joined: 01 Mar 2009
Posts: 6

To rate posts you must be logged in
#18
sorry I thought you were just looking for the example. here is a great NLVM manipulative that explains the Pythagorean theorem:
http://nlvm.usu.edu/en/NAV/frames_asid_164_g_4_t_3.html?open=instructions&from=category_g_4_t_3.html
Embarassed

PostPosted: Wed May 13, 2009 2:33 pm  Back to top 
  ProfilePMBlog
HiDN428
Poincare Conjecture
Poincare Conjecture

Offline
Joined: 29 Jan 2009
Posts: 200
Location: va
NepalUnited States

To rate posts you must be logged in
#19
one question. why cant the theorem [sin^2]+[cos^2]=1 be a proof of the pythag theorem. i guess the pythag proves that theorem but it works vice versa as well

PostPosted: Wed May 13, 2009 2:34 pm  Back to top 
  ProfilePM
AceOfDiamonds
Riemann Hypothesis
Riemann Hypothesis


Offline
Joined: 06 May 2009
Posts: 453
Location: Charlotte, North Carolina

To rate posts you must be logged in
#20
You can prove the pythagorean theorem using that trigonomic identity but you have to prove that identity first, without using the pythagroean theorem. It would be hard since a lot of trigonometry is based on the pythag theorem

PostPosted: Wed May 13, 2009 2:43 pm  Back to top 
  ProfilePM
Display posts from previous:   Sort by:   
27 Posts • Page 1 of 2 • 1, 2 Next
Post new topic   This topic is locked: you cannot edit posts or make replies. View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us