# F$%&ing prove it yourself, bitch!

**URL:** <https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013>\
**Category:** The BBQ Pit\
**Created:** [April 21, 2003, 12:07pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013 "2003-04-21T12:07:41Z")\
**Posts on this page:** 20\
**Page:** 3

<div class="post-metadata">

**Author:** ![Iacob\_Matthew](https://avatars.discourse-cdn.com/v4/letter/i/bbe5ce/32.png) [@Iacob\_Matthew](https://boards.straightdope.com/u/Iacob_Matthew)\
**Post date:** [April 21, 2003, 10:11pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/41 "2003-04-21T22:11:23Z")

</div>

> [@](#):
>
> \*Originally posted by Maximum C \*  
> \*\*Math kicks ass. Consider the following:
> 
> -1 = -1  
> 1/-1 = -1/1…Equivilant to the above statement  
> sqrt(1/-1) = sqrt(-1/1)…Take the square root of both sides  
> sqrt(1)/sqrt(-1) = sqrt(-1)/sqrt(1)…Distribute the root  
> sqrt(1) = sqrt(-1)sqrt(-1)/sqrt(1)…Multiply both sides by sqrt(-1)  
> sqrt(1) = -1 / sqrt(1)…Multiply sqrts together  
> **1 = -1 / 1…Simply square roots.**  
> 1 = -1 …Simply further.
> 
> Doesn’t that just make you happy?
> 
> -C \*\*

Being a sixteen year old who has no above-average skills or talents, I’m wondering if this is legal. How can you multiply by sqrt(1) on one side and divide by it on the other and call it a simple operation? Squaring both sides altogether’d give 1=1/1, and multiplying by inverses of eachother might be like the first step, but it still seems wrong for some reason…  
(I.E., show me a proof that says this is okay so I can just write it on the top of tests and argue any answer is right, so long as I have sig figs)

---

<div class="post-metadata">

**Author:** ![Iacob\_Matthew](https://avatars.discourse-cdn.com/v4/letter/i/bbe5ce/32.png) [@Iacob\_Matthew](https://boards.straightdope.com/u/Iacob_Matthew)\
**Post date:** [April 21, 2003, 10:12pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/42 "2003-04-21T22:12:35Z")

</div>

Erm, sorry the  
sqrt(1) = -1 / sqrt(1)…Multiply sqrts together  
1 = -1 / 1…Simply square roots.  
is supposed to be independently bolded instead of the whole thing.

---

<div class="post-metadata">

**Author:** ![Maximum\_C](https://avatars.discourse-cdn.com/v4/letter/m/b77776/32.png) [@Maximum\_C](https://boards.straightdope.com/u/Maximum_C)\
**Post date:** [April 21, 2003, 10:32pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/43 "2003-04-21T22:32:43Z")

</div>

**Cabbage, ultrafilter** - Shush shush, shush.

1. The error is indeed that the square root function is not single-valued, this is true. The error is NOT introduced at the point you specify. The error is introduced when the sqrts begin to SIMPLIFY- because each square root simplifies to TWO values, +/- 1 in this case.

2. No. **Cabbage**. Wrongo. You may always distribute a square root over a fraction. The error creeps in because you’re committing the same error the proof is; you’re not accounting for the second result of the square root function.

The correct answer to the little counter example you spat out is:  
-/+ i = -/+ i (or something that means this- my notion is rusty.) There certainly is no contradiction here.

1. \*\* Iacob\*\*, I’ll look up the proof for you, dont know it off the top of my head. But I think it’ll be useful to clam up these mathematical blowhards.

-C

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [April 21, 2003, 10:46pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/44 "2003-04-21T22:46:01Z")

</div>

> [@](#):
>
> \*Originally posted by cmosdes \*  
> \*\*And why CAN’T you apply trig functions to both sides? Give me an example where this can’t be done. I’d assume that if the two sides are equal, it must be able to be done. Guess I’m one of those babes who had this ground into his skull.  
> \*\*

Oops. I bolded the wrong equation. This is the one I meant:

-1 = -1  
**1/-1 = -1/1…Equivilant to the above statement**  
sqrt(1/-1) = sqrt(-1/1)…Take the square root of both sides  
sqrt(1)/sqrt(-1) = sqrt(-1)/sqrt(1)…Distribute the root  
sqrt(1) = sqrt(-1)sqrt(-1)/sqrt(1)…Multiply both sides by sqrt(-1)  
sqrt(1) = -1 / sqrt(1)…Multiply sqrts together  
1 = -1 / 1…Simply square roots.  
1 = -1 …Simply further.

---

<div class="post-metadata">

**Author:** ![Maximum\_C](https://avatars.discourse-cdn.com/v4/letter/m/b77776/32.png) [@Maximum\_C](https://boards.straightdope.com/u/Maximum_C)\
**Post date:** [April 21, 2003, 10:47pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/45 "2003-04-21T22:47:00Z")

</div>

I give up.

-C

---

<div class="post-metadata">

**Author:** ![Cabbage](https://avatars.discourse-cdn.com/v4/letter/c/f07891/32.png) [@Cabbage](https://boards.straightdope.com/u/Cabbage)\
**Post date:** [April 21, 2003, 10:54pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/46 "2003-04-21T22:54:11Z")

</div>

**Maximum C** , it’s not uncommon at all for the square root to be defined as a function, in the following manner:

1. For nonnegative x, sqrt(x) = the nonnegative number whose square is x.

2. sqrt(-1) = i.

3. For nonnegative x, sqrt(-x) = i \* sqrt(x).

This is a very standard definition of sqrt. Use whatever definition you want, but I’ll stand by this definition and my original claim.

---

<div class="post-metadata">

**Author:** ![green\_dragon\_1](https://avatars.discourse-cdn.com/v4/letter/g/13edae/32.png) [@green\_dragon\_1](https://boards.straightdope.com/u/green_dragon_1)\
**Post date:** [April 21, 2003, 11:01pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/47 "2003-04-21T23:01:04Z")

</div>

Well gosh!

I never expected my most successful thread to be about maths…go figure.

Hope you’re having fun with the old “-1=1” proofs, if anyone wants to prove the Riemann-Lebsgue Lemma for me I’d appreciate it because there’s a good chance I’ll have to do it in an exam in about 36 hours…

---

<div class="post-metadata">

**Author:** ![Medea\_s\_Child](https://avatars.discourse-cdn.com/v4/letter/m/8baadc/32.png) [@Medea\_s\_Child](https://boards.straightdope.com/u/Medea_s_Child)\
**Post date:** [April 22, 2003, 2:46am UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/48 "2003-04-22T02:46:43Z")

</div>

God i love engineering finals.

Seriously.

You learn this crap and the last week are told, “Now you know which building to walk into to pay someone to do it for you. Because math majors are poor.” and you can then promptly forget it.

---

<div class="post-metadata">

**Author:** ![Soup\_du\_jour](https://avatars.discourse-cdn.com/v4/letter/s/848f3c/32.png) [@Soup\_du\_jour](https://boards.straightdope.com/u/Soup_du_jour)\
**Post date:** [April 22, 2003, 3:02am UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/49 "2003-04-22T03:02:08Z")

</div>

> [@](#):
>
> \*Originally posted by wring \*  
> \*\*I really pissed off my calc prof in college when I raised my hand and said “this is fun and all, but is there any practical use for any of it??”
> 
> bwhahahahaha. \*\*

This reminds me.

Second year calculus was the _only_ time in my high school career that the teacher told us that our material had absolutely no practical use.

But by then, the class was filled with math geeks like myself, so we didn’t really care that it was completely useless. 🙂

---

<div class="post-metadata">

**Author:** ![gazpacho](https://avatars.discourse-cdn.com/v4/letter/g/6f9a4e/32.png) [@gazpacho](https://boards.straightdope.com/u/gazpacho)\
**Post date:** [April 22, 2003, 4:13am UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/50 "2003-04-22T04:13:26Z")

</div>

> [@](#):
>
> \*Originally posted by Soup\_du\_jour \*  
> \*\*This reminds me.
> 
> Second year calculus was the _only_ time in my high school career that the teacher told us that our material had absolutely no practical use.
> 
> But by then, the class was filled with math geeks like myself, so we didn’t really care that it was completely useless. 🙂 \*\*

What are we talking about here? I thought that calculus was invented so people to get some good answers to physics problems.

---

<div class="post-metadata">

**Author:** ![Maximum\_C](https://avatars.discourse-cdn.com/v4/letter/m/b77776/32.png) [@Maximum\_C](https://boards.straightdope.com/u/Maximum_C)\
**Post date:** [April 22, 2003, 10:14am UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/51 "2003-04-22T10:14:51Z")

</div>

Those who think of math as useless probably don’t go into technical fields where they use it, and lack the mental dexterity to appreciate the art for what it is.

And they be tripp’n, yo. Stay outta my hood, dig.

-C

---

<div class="post-metadata">

**Author:** ![Ludovic](https://avatars.discourse-cdn.com/v4/letter/l/7ab992/32.png) [@Ludovic](https://boards.straightdope.com/u/Ludovic)\
**Post date:** [April 22, 2003, 7:04pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/52 "2003-04-22T19:04:30Z")

</div>

my favorite is this:

x=y  
xx=yy \*\*\*\*\*\*\*\*\*\*\*\*\*\*square both sides  
-xx=-yy \*\*\*\*\*\*\*\*\*\*\*\*\*multiply by -1  
xy-xx=xy-yy \*\*\*\*\*\*\*\*\*add (xy)  
(y-x)x=(x-y)y \*\*\*\*\*\*\*\*undistribute  
-(x-y)x=(x-y)y \*\*\*\*\*\*\*\*multiply LHS parens by -1  
-x=y \*\*\*\*\*\*\*\*divide by (x-y)

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [April 22, 2003, 7:19pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/53 "2003-04-22T19:19:12Z")

</div>

\*\*-(x-y)x=(x-y)y \*\*\*\*\*\ ***multiply LHS parens by -1**

There error is there, correct?

---

<div class="post-metadata">

**Author:** ![Ludovic](https://avatars.discourse-cdn.com/v4/letter/l/7ab992/32.png) [@Ludovic](https://boards.straightdope.com/u/Ludovic)\
**Post date:** [April 22, 2003, 7:28pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/54 "2003-04-22T19:28:11Z")

</div>

> [@](#):
>
> \*Originally posted by Q.E.D. \*  
> \*\*\*\*-(x-y)x=(x-y)y \*\*\*\*\*\ ***multiply LHS parens by -1**
> 
> There error is there, correct? \*\*

nope. -(x-y)x does equal (y-x)x, they both evaluate to -xx+xy.

---

<div class="post-metadata">

**Author:** ![pulykamell](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/pulykamell/32/3166_2.png) [@pulykamell](https://boards.straightdope.com/u/pulykamell)\
**Post date:** [April 22, 2003, 7:39pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/55 "2003-04-22T19:39:47Z")

</div>

Dividing by zero baby (x-y)

---

<div class="post-metadata">

**Author:** ![pulykamell](https://sea3.discourse-cdn.com/straightdope/user_avatar/boards.straightdope.com/pulykamell/32/3166_2.png) [@pulykamell](https://boards.straightdope.com/u/pulykamell)\
**Post date:** [April 22, 2003, 7:41pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/56 "2003-04-22T19:41:36Z")

</div>

Actually, that problem isn’t so tough, as long as you follow along with an imaginary x and y value (which, of course, are the same). Once you do this, it’s pretty straightforward to find where the error lies.

---

<div class="post-metadata">

**Author:** ![Q.E.D](https://avatars.discourse-cdn.com/v4/letter/q/51bf81/32.png) [@Q.E.D](https://boards.straightdope.com/u/Q.E.D)\
**Post date:** [April 22, 2003, 7:49pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/57 "2003-04-22T19:49:50Z")

</div>

> [@](#):
>
> \*Originally posted by Ludovic \*  
> \*\*nope. -(x-y)x does equal (y-x)x, they both evaluate to -xx+xy. \*\*

Yes. but you’re doing something to one side of the equation that you’re not doing to the other, which I had beaten into my skill is a Bad Thing™.

---

<div class="post-metadata">

**Author:** ![g8rguy](https://avatars.discourse-cdn.com/v4/letter/g/7cd45c/32.png) [@g8rguy](https://boards.straightdope.com/u/g8rguy)\
**Post date:** [April 22, 2003, 7:55pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/58 "2003-04-22T19:55:14Z")

</div>

**Q.E.D.** , note that he also rearranged what was inside the parentheses. The explanation was a little unclear, but certainly (x-y) = -(y-x)…

---

<div class="post-metadata">

**Author:** ![SparrowHawk](https://avatars.discourse-cdn.com/v4/letter/s/ac8455/32.png) [@SparrowHawk](https://boards.straightdope.com/u/SparrowHawk)\
**Post date:** [April 22, 2003, 8:04pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/59 "2003-04-22T20:04:49Z")

</div>

Why should I respect the math? The math does not respect me. I never did **anything** to the math, and yet it is constantly bothering me. Why can’t it take it’s silly exponents and exes and whys and negatives and positives and squares and pies off somewhere by itself and leave me the hell alone? Beastly, tricksy stuff.

---

<div class="post-metadata">

**Author:** ![cmosdes](https://avatars.discourse-cdn.com/v4/letter/c/a587f6/32.png) [@cmosdes](https://boards.straightdope.com/u/cmosdes)\
**Post date:** [April 22, 2003, 8:19pm UTC](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013/60 "2003-04-22T20:19:56Z")

</div>

[quote]

## quote:

Originally posted by cmosdes

Assume x \> 0

x\*x = x + x + x + x + x + x + x + … x times

d(x\*x)/dx = d(x + x + x + x + …)/dx

2x = 1 + 1 + 1 + 1 + 1 + … x times

2x = x

## 2 = 1

Yes, this one is clever too. A variant on the “subtly dividing by zero” school; sneaking in an equation that forbids certain operations. I wont point out the answer, though- for the sake of other’s enjoyment.  
[\quote]

I’m not sure where the “subtly dividing by zero” parts comes in. My understand of the fault with this lies in the fact that differentiating a sum is not (necessarily) the same as summing the differentiation.  
i = x i = x  
d(sum(x[sub]i[/sub]))/dx != sum(d(x[sub]i[/sub]/dx)  
i = 0 i = 0  
What equation did I sneak in?

[Previous page](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013.md?page=2)

[Next page](https://boards.straightdope.com/t/f-ing-prove-it-yourself-bitch/170013.md?page=4)
