Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#1 2007-02-02 11:00:19

luca-deltodesco
Member
Registered: 2006-05-05
Posts: 1,470

proof 0 < 1

a friend gave me this as a little challenge, would this be a correct way of proving this?

Given two integers a,b there are only 3 things we can say about them a<b, a = b, a>b

Assuming that 1 < 0, subtracting 1 from both sides gives
0 < -1, multiplying both sides by -1, gives
0 < 1, however this is a contradiction, as this would mean that both statements 1 < 0, 0 < 1 are true, but 1 cannot be both less than , and greater than 0, therefore 1 < 0 cannot be true, since 0 obviously doesnt equal 1, this leaves us with only one alternative, 0 < 1


The Beginning Of All Things To End.
The End Of All Things To Come.

Offline

#2 2007-02-02 11:07:58

Ricky
Moderator
Registered: 2005-12-04
Posts: 3,791

Re: proof 0 < 1

Nope.  When you divide or multiply by a negative, the inequality sign "<" must flip.

I don't believe it is possible to prove this without using some rigorous definition somewhere.  For example, one may prove that the multiplicative identity is the smallest positive number in a ring with unity, if there is a smallest positive integer.  This would of course mean that 0 < 1 as 1 - 0 = 1 and 1 is in the positive numbers.

Or you may in turn define integers by pairs of natural numbers [a, b] which, naively, mean "a - b".  So [n, n] acts as 0, [n+1, n] acts as 1.  Then the proof becomes simple once you define "<" to mean that for any pair [a, b] and [c, d], that [a, b] < [c, d] if and only if a + d < c + b.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."

Offline

#3 2007-02-02 11:55:04

luca-deltodesco
Member
Registered: 2006-05-05
Posts: 1,470

Re: proof 0 < 1

because i made a mistake tongue


The Beginning Of All Things To End.
The End Of All Things To Come.

Offline

#4 2007-02-02 12:00:32

MathsIsFun
Administrator
Registered: 2005-01-21
Posts: 7,711

Re: proof 0 < 1

Got us thinking, though!


"The physicists defer only to mathematicians, and the mathematicians defer only to God ..."  - Leon M. Lederman

Offline

Board footer

Powered by FluxBB