Tilted Forum Project Discussion Community  

Go Back   Tilted Forum Project Discussion Community > The Academy > Tilted Knowledge and How-To


 
 
LinkBack Thread Tools
Old 03-02-2005, 03:50 AM   #1 (permalink)
Mjollnir Incarnate
 
Location: Lost in thought
1 = 2

I saw this and knew that it had to be TFP'd. This can't be possible, right? But here it is. Please, discuss for eight+ pages. Oh, and things written off to the right clarify the next step I took.

Code:
a = b and b > 0

       a = b                           * b
      ab = b^2                         -a^2
ab - a^2 = b^2 - a^2
a(b - a) = (b + a) (b - a)           /(b - a)
       a = (b + a)
       a = a + a
       a = 2a

Last edited by Slavakion; 03-02-2005 at 03:51 AM.. Reason: Aesthetics of code field
Slavakion is offline  
Old 03-02-2005, 05:06 AM   #2 (permalink)
Born Against
 
raveneye's Avatar
 
When you divide by (b-a) you're dividing by zero.

Since division by zero is undefined, your result afterwards can be just about anything.
raveneye is offline  
Old 03-02-2005, 10:01 AM   #3 (permalink)
a-j
Tilted
 
Yep, when you divide by b-a, you must state for (b - a) not equal to zero (b != a), since as raveneye pointed out, it is undefined. However you now have two contradicting conditions a = b, and a != b. So your conclusion is invalid.
a-j is offline  
Old 03-02-2005, 10:19 AM   #4 (permalink)
 
KnifeMissile's Avatar
 
Location: Waterloo, Ontario
To try to make this, otherwise trivial, thread a little more exciting, let me mention that it is possible to divide by the additive identity (zero) and that's in the case of the trivial field (a field that consists only a single element). In that case, 1 = 2 = 1 + 1, and so there is no contradiction.

Incidentally, if I recall correctly, there are simpler versions of this fallacy. Where did you find this, Slavakion?
KnifeMissile is offline  
Old 03-02-2005, 10:56 AM   #5 (permalink)
Devoted
 
Redlemon's Avatar
 
Donor
Location: New England
I'd just like to note...
Quote:
Originally Posted by Slavakion
Please, discuss for eight+ pages.
...66 minutes pass...
Quote:
Originally Posted by raveneye
When you divide by (b-a) you're dividing by zero.
I'm surprised it even lasted that long, but it was early in the morning.

I also wanted to complement Slavakon on the nice formatting job on those equations.
__________________
I can't read your signature. Sorry.

Last edited by Redlemon; 03-02-2005 at 12:36 PM..
Redlemon is offline  
Old 03-02-2005, 12:05 PM   #6 (permalink)
a-j
Tilted
 
Quote:
Originally Posted by Slavakion
Code:
a = b and b > 0

       a = b                           * b
      ab = b^2                         -a^2
ab - a^2 = b^2 - a^2
a(b - a) = (b + a) (b - a)           /(b - a)
       a = (b + a)
       a = a + a
       a = 2a

Ok I've given this more though, and I think you haven't actually proved that 1 = 2, you have "proved" that a = 2a. You can't just substitute whatever you want into a. You need to solve for a, and you end up with a=0 and hence b=0. Since you are assuming b > 0, then your proof is contradictory so either your assumptions were incorrect or your logic is incorrect.
a-j is offline  
Old 03-02-2005, 12:10 PM   #7 (permalink)
Mjollnir Incarnate
 
Location: Lost in thought
Quote:
Originally Posted by KnifeMissile
Incidentally, if I recall correctly, there are simpler versions of this fallacy. Where did you find this, Slavakion?
On another forum. GamingWorld, which might surprise you if you know the type of people that frequent it.
Quote:
Originally Posted by Redlemon
...56 minutes pass...
Well, if you remember my other thread about .999... equaling 1 based on a sketchy formula, then you'd know why I said that. It got a whopping 2 pages of replies, when I had expected something more like this thread. Meh, 15 minutes of fame, eh?

Oh, and thanks about the formatting.
Slavakion is offline  
Old 03-03-2005, 12:36 PM   #8 (permalink)
Insane
 
Here's an example of -1=1 (incorrect of course, but I won't tell where, yet):

1) 1=1
2) 1/1=1/1
3) -1/1=-1/1
4) -1/1=1/-1
5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
7) i/1=1/i
8) i^2=1
9) -1=1
vinaur is offline  
Old 03-03-2005, 12:54 PM   #9 (permalink)
Mjollnir Incarnate
 
Location: Lost in thought
Ooh, I can feel it. I know the answer, but I don't. It... I... aw, I'm gonna hurt myself if I keep thinking about it.
Slavakion is offline  
Old 03-03-2005, 04:10 PM   #10 (permalink)
a-j
Tilted
 
Quote:
Originally Posted by vinaur
Here's an example of -1=1 (incorrect of course, but I won't tell where, yet):

1=1
1/1=1/1
-1/1=-1/1
-1/1=1/-1
sqrt(-1/1)=sqrt(1/-1)
sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
i/1=1/i
i^2=1
-1=1
This one is fairly easy, when you take square roots you need to assume both values that the input could have produced (i.e. sqrt(1) = -1,1). So your reasoning should have been something like:

sqrt(-1/1)=sqrt(1/-1)
sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
(±i)/(±1)=(±1)/(±i) => i^2=±1 (if you work out all combinations)
-1=1, or -1=-1 (the latter is correct)

When people end up with something like 2=1, it doesn't mean they actually proved 2=1, it means there is a contradiction which means the they did something incorrect or their initial conditions were wrong. Proof by contradiction is very strong tool if used correctly. However I understand this is all in fun.
a-j is offline  
Old 03-03-2005, 05:04 PM   #11 (permalink)
Mjollnir Incarnate
 
Location: Lost in thought
Quote:
Originally Posted by a-j
This one is fairly easy, when you take square roots you need to assume both values that the input could have produced (i.e. sqrt(1) = -1,1).
>_<

That's it. I almost had it.
Slavakion is offline  
Old 03-03-2005, 10:22 PM   #12 (permalink)
Insane
 
Quote:
Originally Posted by a-j
This one is fairly easy, when you take square roots you need to assume both values that the input could have produced (i.e. sqrt(1) = -1,1). So your reasoning should have been something like:

sqrt(-1/1)=sqrt(1/-1)
sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
(±i)/(±1)=(±1)/(±i) => i^2=±1 (if you work out all combinations)
-1=1, or -1=-1 (the latter is correct)

When people end up with something like 2=1, it doesn't mean they actually proved 2=1, it means there is a contradiction which means the they did something incorrect or their initial conditions were wrong. Proof by contradiction is very strong tool if used correctly. However I understand this is all in fun.
You have some good reasoning there, however consider the following (I start wit step 5 from my previous post):

5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
7) sqrt(-1)*sqrt(-1)=sqrt(1)*sqrt(1)
8) sqrt(-1)^2=sqrt(1)^2
9) -1=1

In this example you cannot get two answers for sqrt(-1) because you are not taking the sqrt. The mistake is somewhere else....
vinaur is offline  
Old 03-04-2005, 12:10 AM   #13 (permalink)
a-j
Tilted
 
Quote:
Originally Posted by vinaur
You have some good reasoning there, however consider the following (I start wit step 5 from my previous post):

5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=sqrt(1)/sqrt(-1)
7) sqrt(-1)*sqrt(-1)=sqrt(1)*sqrt(1)
8) sqrt(-1)^2=sqrt(1)^2
9) -1=1

In this example you cannot get two answers for sqrt(-1) because you are not taking the sqrt. The mistake is somewhere else....
Good point.
The problem is going from sqrt(1/-1) to sqrt(1)/sqrt(-1)
1/i = -i, so in fact it should start out

5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=-sqrt(1)/sqrt(-1)
7) sqrt(-1)*sqrt(-1)=-sqrt(1)*sqrt(1)
8) sqrt(-1)^2=-sqrt(1)^2
9) -1=-1

The square root properties (sqrt(a/b) = sqrt(a)/sqrt(b)) don't exactly work the same for complex numbers.
a-j is offline  
Old 03-04-2005, 04:05 AM   #14 (permalink)
Upright
 
Location: France - Switzerland - Germany
Yes these two samples were incorrect because to get the result wrong operations have to be done and the complex number properties were not respected sqrt(-1) = i ...

but still in mathematics we can by taking it in other way (from the result) proof that an incorrect statement is correct here is an exemple I remember from my teacher at school.

Some one asked to a mathematician : "Do you admit that if 2 + 2 = 5 , then we can deduct that you are the pope?." "For sure the mathematician replied, think about that. if we suppose that 2 + 2 = 5. By doing -2 on each side we got 2 = 3. By symmetry we know that 3 = 2 if we do -1 on each side we then got 2 = 1. The pope and me are two but as 2 = 1, then the pope and myself are only one. So we can conclude that I am the pope ! "
This property is called ex-falso quodlibet and says that if a statement is false and true then all other statement is true...

If one day you prove that 0 = 1, as you know that 0 <> 1 then you can deduct using a proof by contradiction that whatever mathematics theorem you can imagine are true. So this will be the end of all the nice theorem that many mathematician has found.

By the way I am not the pope, are you ?
__________________
Addicted to programming... But I cure myself !!!

Last edited by ajji; 03-05-2005 at 01:12 AM..
ajji is offline  
Old 03-04-2005, 10:07 AM   #15 (permalink)
Insane
 
Quote:
Originally Posted by a-j
Good point.
The problem is going from sqrt(1/-1) to sqrt(1)/sqrt(-1)
1/i = -i, so in fact it should start out

5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=-sqrt(1)/sqrt(-1)
7) sqrt(-1)*sqrt(-1)=-sqrt(1)*sqrt(1)
8) sqrt(-1)^2=-sqrt(1)^2
9) -1=-1

The square root properties (sqrt(a/b) = sqrt(a)/sqrt(b)) don't exactly work the same for complex numbers.
Good job! The problem is in fact in step 6. Here's a different explanation for it though.

More classic falacies!!
vinaur is offline  
Old 03-04-2005, 12:31 PM   #16 (permalink)
 
KnifeMissile's Avatar
 
Location: Waterloo, Ontario
Quote:
Originally Posted by a-j
Good point.
The problem is going from sqrt(1/-1) to sqrt(1)/sqrt(-1)
1/i = -i, so in fact it should start out

5) sqrt(-1/1)=sqrt(1/-1)
6) sqrt(-1)/sqrt(1)=-sqrt(1)/sqrt(-1)
7) sqrt(-1)*sqrt(-1)=-sqrt(1)*sqrt(1)
8) sqrt(-1)^2=-sqrt(1)^2
9) -1=-1

The square root properties (sqrt(a/b) = sqrt(a)/sqrt(b)) don't exactly work the same for complex numbers.
Actually, square roots work exactly the same for complex numbers. The problem is that squaring is not an invertable function and, thus, square root functions (note the plural) cannot be used to preserve equality.

So, in my esteemed opinion, the fallacy is the use of sqare roots...


PS. I'm sorry to bait the debate but I'm short on time at the moment. I'll clear this up, later...
KnifeMissile is offline  
Old 03-07-2005, 11:18 AM   #17 (permalink)
Insane
 
Location: Title Town, USA
if i can be squared, then -1 cannot be reversed (as in square rooting it?) what theorem explains this?
__________________
Is the juice worth the squeeze?
0energy0 is offline  
 


Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are On



All times are GMT -8. The time now is 03:53 AM.

Tilted Forum Project

Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Search Engine Optimization by vBSEO 3.6.0 PL2
© 2002-2012 Tilted Forum Project

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360