Register to reply

Direct Proof

by Benn
Tags: proof
Share this thread:
Benn
#1
Mar7-12, 07:11 PM
P: 34
Hey guys,

I'm in a proof class right now. We've covered direct proofs and moved on, but I'm still curious about them. Is there any important theorem that has even been derived using a direct proof (assume p to show q) or are they mainly just used to introduce proofs? In class, we only ever cover proofs such as "if n ##\equiv## 1 (mod 2), then n2 ##\equiv## 1 (mod 8)." and the like.

Sorry, I can't get the tex to work out... aha, just got it working, nevermind
Phys.Org News Partner Science news on Phys.org
Mysterious source of ozone-depleting chemical baffles NASA
Water leads to chemical that gunks up biofuels production
How lizards regenerate their tails: Researchers discover genetic 'recipe'
jgens
#2
Mar7-12, 07:32 PM
P: 1,622
Quote Quote by Benn View Post
Is there any important theorem that has even been derived using a direct proof (assume p to show q) or are they mainly just used to introduce proofs?
Plenty of important theorems are proved using methods of direct proof. I presume that you are familiar with the fundamental theorems of calculus. The standard proofs of these results are done via direct proof. See here: http://en.wikipedia.org/wiki/Fundame...the_first_part


Register to reply

Related Discussions
Simple Direct Proof Calculus & Beyond Homework 3
Direct Sum Proof Calculus & Beyond Homework 1
Direct Proof Calculus & Beyond Homework 1
Direct proof using definiton of even Calculus & Beyond Homework 2
The most direct proof of reality General Discussion 50