Is this proof okay?

  • Thread starter asdf60
  • Start date
  • #1
81
0
I'm taking a course in rigorous calculus, using the famous calculus textbook by Tom Apostol. I'm required to prove that if x is real and satisfies 0 <= x < h, for all positive real h, then x = 0. Here is my 'proof':

if x >= 0, then either x > 0 or x= 0. i'm going to prove that x > 0 leads to contradiction. if x>0, then let h = x/2 > 0. then x-h = x-x/2 = x/2 > 0, and therefore, h < x...which contradicts the h > x for all h. So x=0.

Is this proof all right and sufficiently rigorous?
 

Answers and Replies

  • #2
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
way to go!
 
  • #3
1,426
1
Well h is always above 0. If you consider x=>0 either infinitly small or equal to zero, then it must be equal to zero to sastify the condition x<h. But there is a little contratiction. x=>0 means x is infinitly small but existant... there is a paradox in the condition 0<=x>h
 
  • #4
quasar987
Science Advisor
Homework Helper
Gold Member
4,784
18
What are you saying Werg22? Particularily, what do you mean by

"x=>0 means x is infinitly small but existant... "

and here...

"there is a paradox in the condition 0<=x>h"

did you mean 0<=x<h ?
 

Related Threads on Is this proof okay?

  • Last Post
Replies
16
Views
6K
Replies
2
Views
2K
Replies
10
Views
341
Replies
5
Views
7K
  • Last Post
Replies
2
Views
958
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
2K
Replies
1
Views
10K
Top