Mastering Proofs: Tips & Examples

[matrix_204]

I was just wondering, since i m kind of weak in doing proofs, what is the best way of understanding on how to do proofs. What is the best way to master, if one can, on doing proofs? or even if not master, but to be able to do proofs without "thinking", like sometimes my teacher says he just does it without thinking. Plz give me some ideas and using different examples would be appreciated. For example, n E N and a is positive reals (a1+...+an)(1/a1+...+1/an)>=n^2, n E N and 1+2+...+n^2<=n^3, etc.

 

[Tide]

The "not thinking" part only comes with experience and it takes plenty of hard work and persistence to reach that stage but there are challenges even beyond that. There are still many (and the list grows daily!) theorems and conjectures in mathematics that no one has yet been able to prove. And many of the greatest minds have thought long and hard about them.

I recommend working on as many proofs as you can. The greatest source of them is right before your eyes - all the stuff you do daily and take for granted! Question what you do and why it's right - or not.

 

[photon_mass]

how would you go about proving that pi is irrational?
or 2^(1/2) ?

 

[Tide]

how would you go about proving that pi is irrational?
or 2^(1/2) ?

I'd love to see a proof that \pi is irrational - without using calculus!

 

[Galileo]

Here's a proof that \sqrt{2} is irrational. From Rudin's Principles of Mathematical Analysis.

We show that the equation
p^2=2 \qquad(1)
is not satisfied by any rational p. If there were such a p, we could write p=m/n where m and n are integers that are not both even. Let us assume this done.
Then (1) implies
m^2=2n^2 \qquad (2)
This shows that m^2 is even (if m were odd, m^2 would be odd), and so m^2 is divisible by 4.
It follows that the right side of (2) is divisible by 4 so that n^2 is even, which implies that n is even.
The assumption that (1) holds thus leads to the conclusion that both m and n are even, contrary to our choice of m and n. Hence (1) is impossible for rational p.

I like this proof. The result is profound, but the proof so simple.

 

[Hurkyl]

Hrm. Can you even define pi without calculus? Even the traditional definition, the ratio of the circumference of a circle to its diameter, is calculus in disguise!

 

[Tide]

Hrm. Can you even define pi without calculus? Even the traditional definition, the ratio of the circumference of a circle to its diameter, is calculus in disguise!

Wow! Leibnitz and Newton beaten to the punch by the ancient Greeks! ;-)

Seriously, there is no problem defining pi without calculus. You just can't do a very good job at finding numerical approximations for its value without calculus.

 

[Hurkyl]

Ack, I'm hijacking the thread! I'll take it to PM