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
Scientists discover RNA modifications in some unexpected places
Scientists discover tropical tree microbiome in Panama
'Squid skin' metamaterials project yields vivid color display
jgens
#2
Mar7-12, 07:32 PM
PF Gold
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