Direct Proof


by Benn
Tags: proof
Benn
Benn is offline
#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
Better thermal-imaging lens from waste sulfur
Hackathon team's GoogolPlex gives Siri extra powers
Bright points in Sun's atmosphere mark patterns deep in its interior
jgens
jgens is offline
#2
Mar7-12, 07:32 PM
P: 1,623
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 51