Proving 0/0 ≠ 1: Does Math Really Work This Way?

  • Thread starter Smurf
  • Start date
  • Tags
    Work
In summary, the conversation discusses the concept of 0/0 and whether it is indeterminate or equal to 1. A friend presents two arguments to support her theory that 0/0=1, but the other person disagrees and asks for help in proving her wrong. The conversation also delves into the concept of factorials and limits, with one person attempting to use L'Hopital's rule to show that 0/0=1. However, it is pointed out that this is not a valid argument and there is no theorem that supports this conclusion. The conversation ends with the person still unsure of how to prove their friend wrong.
  • #1
Smurf
442
3
Ok, after reading this, this, and the beginning of this I've realized there seems to be a consensus that 0/0= indeterminate.

Now, today my friend who's a math person has come up with this 'theory' that 0/0=1. She presented two arguments to support her theory, first she said that 0!/0! = 1, then she said that anything divided by itself = 1, (x/x=1),

I think she's full of crap, but I'm at a bit of a loss, so can you guys help me prove her wrong (or help me understand why she's right). I already tried arguing my basic understanding of the issue, but she won't give in.
 
Mathematics news on Phys.org
  • #2
It's worse than indeterminate -- it's undefined.

It boggles me why people insist on using x/x = 1 to "prove" 0/0 = 1, but they never accept 0/x = 0 to "prove" 0/0 = 0.

Try asking her to actually mathematically prove it. I imagine she won't even know where to begin.
 
  • #3
I already did and she gave me the 0!/0!=1 thingy.
 
  • #4
Then tell her she has failed, because she wasn't able to come up with a proof. She won't believe you, but it's still true.
 
  • #5
Hmmm, ok. Is there a way to show her that she hasn't provided proof?
 
  • #6
But what does 0! has to do with anything? n! does not equal to n.

Btw, what's the latex command for !=?
 
  • #7
Ice, the factorial of 0 is defined as 1.
 
  • #8
I know. But if you were to show that 3/4 = 0.75, you wouldn't go with 3!/4!.
 
  • #9
Icebreaker said:
But what does 0! has to do with anything? n! does not equal to n.
That's what I said and she yammered off some gibberish. Neither of us know the theory behind factorals. Otherwise I would be able to show her where she's wrong. What is 0! anyways? 0*1? 0*-1? And how can it be defined as 1?
 
Last edited:
  • #10
I don't understand how this person reached 0/0 = 1 because 0!/0! = 1. Factorial signs can hardly be divided out like that! Did you ask her to look at a graph of 1/x and inspect it to the left and right of x = 0? It should alread be clear to her that depending on which side you look at, the graph approaches different values. What's more, placing 1/x = 1 at x = 0 would throw off the symmetry of a graph perfectly symmetric about the line y = x (or y = -x)
 
  • #11
being ignorant in such matter, i'll suggest the following:

let
[tex]f(x) = x^n, x \epsilon R [/tex] and [tex]g(x) = x^n, x \epsilon R [/tex]

then,

[tex]\frac{f(x)}{g(x)} = \frac{x^n}{x^n} = x^{n-n} = x^0 = 1[/tex]


so then [tex]\frac{f(x)}{g(x)} = 1[/tex] for all the reals, including zero!
 
  • #12
If you mean to say that f and g are functions, then you're wrong. f(x) / g(x) is not defined at x = 0. (Precisely because 0/0 is undefined)

One might say that f(x) / g(x) has a removable singularity at x = 0.

Or, if you meant to say that f(x) and g(x) are elements of a ring of polynomials, and division is being done in the field of rational functions, it would be correct to say that f(x) / g(x) = 1. (And that would be true "at x = 0", at least the way that phrase is usually given meaning)
 
  • #13
ok then, how 'bout this.

let
[tex]f(x) = x, x \epsilon R[/tex] and [tex]g(x) = x, x \epsilon R[/tex]

then
[tex]\lim_{x \rightarrow 0} f(x) = \lim_{x \rightarrow 0} x = 0[/tex] and [tex]\lim_{x \rightarrow 0} g(x) = \lim_{x \rightarrow 0} x = 0[/tex]

so then

[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \frac{0}{0}[/tex]

but by L'Hopital's:

[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \lim_{x \rightarrow 0} \frac{f(x)}{g(x)} = \lim_{x \rightarrow 0} \frac{f(x)'}{g(x)'} = \lim_{x \rightarrow 0} \frac{x'}{x'} = \lim_{x \rightarrow 0} \frac{1}{1} = 1[/tex]

therefore [itex]\frac{0}{0} = 1[/tex]
 
  • #14
[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \frac{0}{0}[/tex]

That's incorrect. The relevant limit theorem specifically states that the denominator cannot be zero when making that equality.

(Just like people forget that the identity x/x = 1 specifically states x cannot be zero)
 
  • #15
Hurkyl said:
That's incorrect. The relevant limit theorem specifically states that the denominator cannot be zero when making that equality.

(Just like people forget that the identity x/x = 1 specifically states x cannot be zero)

wait a minute, i thought that's the whole point of L'Hopital's rule, evaluating indeterminate things of the form 0/0
 
  • #16
quetzalcoatl9 said:
wait a minute, i thought that's the whole point of L'Hopital's rule, evaluating indeterminate things of the form 0/0

It is. But there's a difference between saying that a limit is of the form 0/0 and saying that the limit equals 0/0. A limit is a number (or not defined) and 0/0 is not a number, so how could a limit be equal to it? However, it can look like 0/0 if you attempt to evaluate it in a naive way.

Also, you made the mistake of thinking that if the limit of a function is defined at a point, then the function itself must be.
 
  • #17
master_coda said:
It is. But there's a difference between saying that a limit is of the form 0/0 and saying that the limit equals 0/0. A limit is a number (or not defined) and 0/0 is not a number, so how could a limit be equal to it? However, it can look like 0/0 if you attempt to evaluate it in a naive way.

Also, you made the mistake of thinking that if the limit of a function is defined at a point, then the function itself must be.

i really didn't assume anything...i tried to be as thorough about it as possible, showing each step clearly.

so tell me: which part of it is wrong? because your explanation is a bit 'wishy-washy' (no offense). it's not that i don't believe you, but i want an actually mathematical argument against it. every professor that i showed the L'hopital thing to, did some hand-waving but could never mathematically explain where the flaw was.
 
  • #18
The equation I quoted is wrong. There is no theorem that let's you conclude that.
 
  • #19
quetzalcoatl9 said:
ok then, how 'bout this.

let
[tex]f(x) = x, x \epsilon R[/tex] and [tex]g(x) = x, x \epsilon R[/tex]

then
[tex]\lim_{x \rightarrow 0} f(x) = \lim_{x \rightarrow 0} x = 0[/tex] and [tex]\lim_{x \rightarrow 0} g(x) = \lim_{x \rightarrow 0} x = 0[/tex]

so then

[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \frac{0}{0}[/tex]

but by L'Hopital's:

[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \lim_{x \rightarrow 0} \frac{f(x)}{g(x)} = \lim_{x \rightarrow 0} \frac{f(x)'}{g(x)'} = \lim_{x \rightarrow 0} \frac{x'}{x'} = \lim_{x \rightarrow 0} \frac{1}{1} = 1[/tex]

therefore [itex]\frac{0}{0} = 1[/tex]

What if f(x) = 2x? By your logic you'll still get the answer to 0/0 I think.

Saying that 0/0 = 1 (and by me saying by your logic also = 2), implies that the "=" comparison does not hold the property of transitivity and therefore can't be an equivalence relation because clearly 1 != 2. I think then that using "=" the way you did would then make no sense (much like a lot of what I just said). I'm not sure if that's the definition of "undefined" though.
 
Last edited by a moderator:
  • #20
quetzalcoatl9 said:
so tell me: which part of it is wrong? because your explanation is a bit 'wishy-washy' (no offense). it's not that i don't believe you, but i want an actually mathematical argument against it. every professor that i showed the L'hopital thing to, did some hand-waving but could never mathematically explain where the flaw was.

quetzalcoatl9 said:
[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \frac{0}{0}[/tex]

Hurkyl already explained what you did wrong; you're trying to use the limit theorem that states [tex]\lim_{x\rightarrow0}\frac{f(x)}{g(x)}=\frac{\lim_{x\rightarrow0}f(x)}{\lim_{x\rightarrow0}g(x)}[/tex] but you're ignoring the fact that this theorem requires that [itex]\lim_{x\rightarrow0}g(x)\neq 0[/itex].
 
Last edited:
  • #21
Smurf,
If you're still there, I would ask here to resolve the following problem.
Let a denote any number. Say you have the following rules:
1) 0 * a = 0
2) a * 1/a = 1
(Surely, you recognize these.) Let a = 0. Then (2) says:
3) 0 * 1/0 = 1
If you don't see the problem already, let a = 1/0. Then (1) says:
4) 0 * 1/0 = 0
So does 1 = 0? Or does (2) not apply to 0? Or what?
There really isn't anything to argue about, the axioms I've seen always just say that 1 does not equal 0 and 1/0 is undefined, and no one gets to argue with the axioms. If she doesn't like them, she can always make up her own. :biggrin:
 
  • #22
vsage said:
What if f(x) = 2x? By your logic you'll still get the answer to 0/0 I think.

Saying that 0/0 = 1 (and by me saying by your logic also = 2), implies that the "=" comparison does not hold the property of transitivity and therefore can't be an equivalence relation because clearly 1 != 2. I think then that using "=" the way you did would then make no sense (much like a lot of what I just said). I'm not sure if that's the definition of "undefined" though.

you're right, this does make sense to me. i concede.
 
  • #23
Yes, L'Hopital's rule works for fractions where the numerator and denominator both go to 0. That does not mean that you can write [tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \frac{0}{0}[/tex] and think of 0/0 as anything other than a short hand way of saying "both numerator and denominator go to 0". "0/0" is not a number.
 
  • #24
[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \lim_{x \rightarrow 0} \frac{f(x)}{g(x)}[/tex]
is the incorrect step, at least if you are using it to go from the RHS being defined to the LHS being defined. Suppose you put g(x)=f(x) and choose f(x) which diverges as x->0. Then the RHS is defined, but the limits on the LHS are not.
 
  • #25
Apart from what has already been said about writing [itex]\frac{0}{0}[/itex], you made another important mistake that nobody has mentioned so far, quetzalcoatl9. It deals with the following, which we've already asserted is an incorrect statement (because [itex]\lim_{x \rightarrow 0} g(x) = 0[/itex]):

[tex]\frac{\lim_{x \rightarrow 0} f(x)}{\lim_{x \rightarrow 0} g(x)} = \lim_{x \rightarrow 0} \frac{f(x)}{g(x)}[/tex]

The proper use of L'Hospital's rule would have been as follows:

[tex]\lim_{x \rightarrow 0} \frac{f'(x)}{g'(x)} = \lim_{x \rightarrow 0} \frac{f(x)}{g(x)}[/tex]

Then, provided that [itex]\frac{\lim_{x \rightarrow 0} f'(x)}{\lim_{x \rightarrow 0} g'(x)}[/itex] is defined, you could express the whole operation as follows, if you wanted to:

[tex]\lim_{x \rightarrow 0} \frac{f(x)}{g(x)} = \lim_{x \rightarrow 0} \frac{f'(x)}{g'(x)} = \frac{\lim_{x \rightarrow 0} f'(x)}{\lim_{x \rightarrow 0} g'(x)}[/tex]

Don't anybody hesitate to correct me if I said something incorrect. I'm the first that would want to know! :smile:
 
  • #26
The problem here is that Zero is not a quantity. Zero is the absence of quantity.
Therefore, zero cannot be added, subtracted, multiplied, divided, factored, or anything else because has no quantified existence.
Therefore, equations which have, say, x/0 is pointless and inherently invalid.
 
  • #27
Well, seeing how we have no problem adding, subtracting, or multiplying with zeroes, and dividing with zeroes when they're not on the denominator, it should be clear your reasoning is flawed.

And zero is most certainly quantitative, even in the sense of natural language. For example, it can be an answer to a question of "how many".


But, this is all irrelevant: this is a math subforum, and things follow from definitions, not opinion.
 
  • #28
Hurkyl said:
Well, seeing how we have no problem adding, subtracting, or multiplying with zeroes, and dividing with zeroes when they're not on the denominator, it should be clear your reasoning is flawed.

And zero is most certainly quantitative, even in the sense of natural language. For example, it can be an answer to a question of "how many".


But, this is all irrelevant: this is a math subforum, and things follow from definitions, not opinion.


Hmmm. I thought that .999~ is the true representation of "1"
Is that wrong?
 
  • #29
1.000~ and 0.999~ are both decimal representations of the real number "one". (decimals aren't the only way to represent real numbers, of course)
 
  • #30
pallidin said:
Hmmm. I thought that .999~ is the true representation of "1"
Is that wrong?

While .999... = 1, one representation is not more true than the other. I'd say .999... is "a" true representation of 1, but not "the" true representation of 1.
 
  • #31
Hurkyl said:
It's worse than indeterminate -- it's undefined.

It boggles me why people insist on using x/x = 1 to "prove" 0/0 = 1, but they never accept 0/x = 0 to "prove" 0/0 = 0.

Try asking her to actually mathematically prove it. I imagine she won't even know where to begin.

It is a common misperception that 0/0 is undefined. It is merely indeterminate.

Consider that expression:
[tex]\frac{0}{0}=a[/tex]

is equivalent to:
[tex]0=a\cdot 0[/tex]

which is true for any number a (it is not undefined). Hence 0/0 is indeterminate.
 
Last edited:
  • #32
It's not a misperception if it's right. :tongue2:

0/0 is infix notation for the application of the binary function '/' to the argument (0, 0) -- a pair that is outside of the domain of '/'. When one writes a string of symbols that denotes the evaluation of a function someplace outside of its domain, one says that string of symbols is undefined.
 
  • #33
Hurkyl said:
It's not a misperception if it's right. :tongue2:

0/0 is infix notation for the application of the binary function '/' to the argument (0, 0) -- a pair that is outside of the domain of '/'. When one writes a string of symbols that denotes the evaluation of a function someplace outside of its domain, one says that string of symbols is undefined.

But the statement is clearly true for all a. How can an undefined statement be true? No that doesn't add up my friend!
 
  • #34
0 = a * 0 is true for all a. 0 / 0 = a is not, because it's undefined.


Leaving formalism behind and just speaking heuristically for a moment, a/b is supposed to be the unique number such that b * (a/b) = a. There is no x that is the unique solution to 0 * x = 0. Thus, there is no x that could satisfy 0/0 = x.
 
  • #35
Hurkyl said:
Leaving formalism behind and just speaking heuristically for a moment, a/b is supposed to be the unique number such that b * (a/b) = a. There is no x that is the unique solution to 0 * x = 0. Thus, there is no x that could satisfy 0/0 = x.

Which is why i would call it indeterminate.

mathworld.wolfram.com said:
An expression in mathematics which does not have meaning and so which is not assigned an interpretation. For example, division by zero is undefined in the field of real numbers.

Since a/b=c/d iff a*d=c*b, the expression 0/0=a isn't meaningless, hence I wouldn't call it undefined.

I guess it blows down to what you want undefined to mean, exactly. I get your point about uniqueness. Only I wouldn't call it undefined, since something undefined is just something that lacks definition. And this particular expression can be defined this way and not cause any trouble ...
 
<h2>1. What does it mean when we say 0/0 is undefined?</h2><p>When we say 0/0 is undefined, it means that the expression does not have a specific numerical value. This is because division by 0 is not defined in mathematics and leads to an infinite or indeterminate result.</p><h2>2. Why is it important to prove that 0/0 ≠ 1?</h2><p>It is important to prove that 0/0 ≠ 1 because it helps us maintain the consistency and validity of mathematical operations. If we were to accept that 0/0 equals 1, it would lead to contradictions and errors in our calculations.</p><h2>3. Can we manipulate equations to make 0/0 equal to 1?</h2><p>No, we cannot manipulate equations to make 0/0 equal to 1. As mentioned before, division by 0 is undefined in mathematics, and any attempts to manipulate equations to make 0/0 equal to 1 would lead to invalid results.</p><h2>4. Are there any real-life examples where 0/0 would equal 1?</h2><p>No, there are no real-life examples where 0/0 would equal 1. In real-life situations, division by 0 is not possible, and any attempts to do so would result in an undefined or indeterminate value.</p><h2>5. How do we prove that 0/0 ≠ 1?</h2><p>To prove that 0/0 ≠ 1, we can use various mathematical techniques such as limits, algebraic manipulation, and logical reasoning. These methods help us show that division by 0 is undefined and cannot be equal to 1.</p>

1. What does it mean when we say 0/0 is undefined?

When we say 0/0 is undefined, it means that the expression does not have a specific numerical value. This is because division by 0 is not defined in mathematics and leads to an infinite or indeterminate result.

2. Why is it important to prove that 0/0 ≠ 1?

It is important to prove that 0/0 ≠ 1 because it helps us maintain the consistency and validity of mathematical operations. If we were to accept that 0/0 equals 1, it would lead to contradictions and errors in our calculations.

3. Can we manipulate equations to make 0/0 equal to 1?

No, we cannot manipulate equations to make 0/0 equal to 1. As mentioned before, division by 0 is undefined in mathematics, and any attempts to manipulate equations to make 0/0 equal to 1 would lead to invalid results.

4. Are there any real-life examples where 0/0 would equal 1?

No, there are no real-life examples where 0/0 would equal 1. In real-life situations, division by 0 is not possible, and any attempts to do so would result in an undefined or indeterminate value.

5. How do we prove that 0/0 ≠ 1?

To prove that 0/0 ≠ 1, we can use various mathematical techniques such as limits, algebraic manipulation, and logical reasoning. These methods help us show that division by 0 is undefined and cannot be equal to 1.

Similar threads

Replies
55
Views
3K
Replies
15
Views
1K
  • Art, Music, History, and Linguistics
Replies
1
Views
795
  • STEM Educators and Teaching
Replies
18
Views
3K
Replies
7
Views
2K
  • General Math
Replies
10
Views
1K
  • Programming and Computer Science
Replies
15
Views
1K
Replies
13
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
2K
  • General Math
Replies
11
Views
1K
Back
Top