Troll Science: Pi
Moderators: jestingrabbit, Moderators General, Prelates
Troll Science: Pi
The guy who came up with this is an expert troll. He stumped dozens, and even convinced a few people, with the seemingly logical process with which he derives pi to be four. However, there IS a solution!
Mathematicians, GO!
You can refuse to think, but you can't refuse the consequences of not thinking.
Re: Troll Science: Pi
douglasm wrote:Spoiler:
Spoiler:
You can refuse to think, but you can't refuse the consequences of not thinking.
Re: Troll Science: Pi
Sam Hughes has an excellent deconstruction at Things of Interest.
sillybear25 wrote:But it's NPH, so it's creepy in the best possible way.
Shivahn wrote:I'm in your abstractions, burning your notions of masculinity.
 phlip
 Restorer of Worlds
 Posts: 7535
 Joined: Sat Sep 23, 2006 3:56 am UTC
 Location: Australia
 Contact:
Re: Troll Science: Pi
This thread, also. The upshot: the pointwise limit of those shapes is a circle, but the pointwise limit doesn't preserve many features of functions, including arclength. Other definitions of the limits of functions do preserve arclength, but under those definitions the shapes don't approach a circle in the limit (indeed, they have no limit at all).
Code: Select all
enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};
void ┻━┻︵╰(ಠ_ಠ ⚠) {exit((int)⚠);}
 JayDee
 Posts: 3620
 Joined: Sat Nov 10, 2007 3:13 am UTC
 Location: Most livable city in the world.
 Contact:
Re: Troll Science: Pi
This weirds me out more than the notion of pi being four, to be honest.phlip wrote:The upshot: the pointwise limit of those shapes is a circle, but the pointwise limit doesn't preserve many features of functions, including arclength.
Sigh. I've spent the last week wishing I'd done more maths at uni. Now I'm reading that thread and wishing I'd taken up the offer to sit in on topology classes last semester.
The Mighty Thesaurus wrote:I believe that everything can and must be joked about.
Hawknc wrote:I like to think that he hasn't left, he's just finally completed his foe list.
Re: Troll Science: Pi
Oh, this can be solved visually without any math at all!
Spoiler:
I can't go, this is too important. Someone is wrong on the internet!
 phlip
 Restorer of Worlds
 Posts: 7535
 Joined: Sat Sep 23, 2006 3:56 am UTC
 Location: Australia
 Contact:
Re: Troll Science: Pi
JayDee: (spoilered for long and rambly... and also because it's a spoiler)
Spoiler:
Code: Select all
enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};
void ┻━┻︵╰(ಠ_ಠ ⚠) {exit((int)⚠);}
Re: Troll Science: Pi
Spoiler:
Ghostly, she stood in front of him and looked into his eyes. "I am here," she said. "I am here. I want to touch you." She pleaded: "Look at me!" But he would not see her; he only knew how to look at the outside of things.
Re: Troll Science: Pi
this one is just as simple as the square with a line:
troll says "take a square with edge length = 1. connect two opposite edges by a staircase of lines. staircase goes all the way to left and all the way up, i.e., distance covered=2. make distance before drop infinitely small by increasing # of stairs. sqrt(2)=2!!!!!"
just like .9999...=1, this infinite series preserves original value and will never reach the straight diagonal proposed
troll says "take a square with edge length = 1. connect two opposite edges by a staircase of lines. staircase goes all the way to left and all the way up, i.e., distance covered=2. make distance before drop infinitely small by increasing # of stairs. sqrt(2)=2!!!!!"
just like .9999...=1, this infinite series preserves original value and will never reach the straight diagonal proposed
Re: Troll Science: Pi
it's simply taxicab geometry. you can't 'infinitely' repeat it to infinity and therefore make the assumption it goes in a curved shape. rather it retains that jagged edge thus retaining the original length of the square, just at an infinitely small level. according to taxicab geometry, it will never be a curved line even if you take the limit to infinity.
Re: Troll Science: Pi
Micali wrote:it's simply taxicab geometry. you can't 'infinitely' repeat it to infinity and therefore make the assumption it goes in a curved shape. rather it retains that jagged edge thus retaining the original length of the square, just at an infinitely small level. according to taxicab geometry, it will never be a curved line even if you take the limit to infinity.
This is not true. For any e>0, one can come up with an iteration N (sufficiently large) after which every point in the constructed shape is within e of the nearest point on the circle. In the limit as N>infinity, e can go to 0. Thus, the circle, is actually the limit of the process.
No, the only logical flaw is in assuming that the limit of the length of a series of curves is the length of the limit curve of that sequence. The above image depicts a counterexample to that premise, and is therefore a proof that it does not hold. See the link to Sam Hughes' blog above.
Re: Troll Science: Pi
Do I understand it correctly that 1) "after" infinitely many steps the resulting line is indeed identical to the circle, but 2) the perimeter is only 4 after finitely many steps, but "after" infinitely many steps it's "suddenly" PI?The EGE wrote:Sam Hughes has an excellent deconstruction at Things of Interest.
 jestingrabbit
 Factoids are just Datas that haven't grown up yet
 Posts: 5959
 Joined: Tue Nov 28, 2006 9:50 pm UTC
 Location: Sydney
Re: Troll Science: Pi
charonme wrote:Do I understand it correctly that 1) "after" infinitely many steps the resulting line is indeed identical to the circle, but 2) the perimeter is only 4 after finitely many steps, but "after" infinitely many steps it's "suddenly" PI?The EGE wrote:Sam Hughes has an excellent deconstruction at Things of Interest.
Yes. Given that you are taking the limit of the curve to be limit of the points on the curve, then the length of the limit needn't be the limit of the length. You can force those two things to be the same, but then the limit of the rectilinear curve doesn't exist.
ameretrifle wrote:Magic space feudalism is therefore a viable idea.
Re: Troll Science: Pi
I recall seeing the stairstep squarerootoftwo version in one of Martin Gardner's anthologies as a child. As far as I'm concerned, the lesson here is that, given an infinite sequence s and a function f that operates on the sorts of things in that sequence, [imath]\lim_{i\to\infty}f(s_i)[/imath] does not necessarily equal [imath]f(\lim_{i\to\infty}s_i)[/imath]. And, really, why would it be? It may be intuitive that they'd be equal, but intuition is often false when it comes to limits and infinite series.
(You want proof of my assertion that they're not always equal? You've already got it. It's up there at the top of the page with a trollface on it.)
(You want proof of my assertion that they're not always equal? You've already got it. It's up there at the top of the page with a trollface on it.)
 uncivlengr
 Posts: 1202
 Joined: Fri Nov 14, 2008 10:35 pm UTC
 Location: N 49°19.01 W 123°04.41
Re: Troll Science: Pi
You could similarly propose a "circle" like a Koch snowflake and use that to prove that the value of Pi is infinite.
I don't know what to do for you
Re: Troll Science: Pi
there are ways of constructing a series of functions where the limit of the lengths will be infinite, but the length of the limiting function will be PI, but the koch snowflake is not the way. The series of finite koch iterations does not converge to anything except the ideal koch snowflake
For example instead going from N sawtooths of height H to 2N sawtooths of height H/2, you can go from (N,H) to (4N, H/2)
For example instead going from N sawtooths of height H to 2N sawtooths of height H/2, you can go from (N,H) to (4N, H/2)
 uncivlengr
 Posts: 1202
 Joined: Fri Nov 14, 2008 10:35 pm UTC
 Location: N 49°19.01 W 123°04.41
 phlip
 Restorer of Worlds
 Posts: 7535
 Joined: Sat Sep 23, 2006 3:56 am UTC
 Location: Australia
 Contact:
Re: Troll Science: Pi
You don't need some complex fractaltype pattern... you can just do something simple like:
Spoiler:
Points that get arbitrarily smaller and approach a circle, but get arbitrarily pointier, so have total arclength as an arbitrarily high multiple of their net distance travelled around the circle.
Code: Select all
enum ಠ_ಠ {°□°╰=1, °Д°╰, ಠ益ಠ╰};
void ┻━┻︵╰(ಠ_ಠ ⚠) {exit((int)⚠);}
Re: Troll Science: Pi
A circle, by definition, has all of its points equidistant from the center. That is not an actual perfect circle. It is just a ngon with an infinitely small number of sides. The shape will still retain its vertices. A circle has no vertices, the figure above, has an infinite of them.
Re: Troll Science: Pi
zerkrox wrote:That is not an actual perfect circle.
To what does the word "that" refer?
There are (at least) two different things you might be talking about:
an infinite sequence of polygons (which is not a shape, but an infinite sequence of shapes, each one of which is a polygon)
or
the pointwise limit of that sequence of polygons. Which is one shape. And which happens to be a circle.
Re: Troll Science: Pi
Regardless of the sides, no matter how many, a polygon will never become a circle, only a ∞gon. That will always just be an infinitely close approximation.
The concept is similar to antialiasing. From afar it may look like a circle, but if you look closer you will see the sides and vertices of the polygon, of which a circle doesn't have.
The concept is similar to antialiasing. From afar it may look like a circle, but if you look closer you will see the sides and vertices of the polygon, of which a circle doesn't have.
 uncivlengr
 Posts: 1202
 Joined: Fri Nov 14, 2008 10:35 pm UTC
 Location: N 49°19.01 W 123°04.41
Re: Troll Science: Pi
You may want to review the principles of calculus before making statements like that.
A regular polygon with an infinite number of sides is a circle.
A regular polygon with an infinite number of sides is a circle.
I don't know what to do for you
Re: Troll Science: Pi
zerkrox wrote:Regardless of the sides, no matter how many, a polygon will never become a circle, only a ∞gon. That will always just be an infinitely close approximation.
True, a polygon is not a circle.
But, one can have an infinite sequence of polygons, defined in such a way as to have a pointwise limit. If you set up the sequence of polygons in the right way, the limit is a circle.
You might be tempted to reply "But we never get there!" That objection misses the point. For example, consider the sequence { 1, 1/2, 1/3, 1/4, ... }. The limit of that sequence is the number 0. Saying "We never get to 0" misses the point. Sure, if you listed each element, or paused at each element, you would never get to the end. But it's standard in mathematics to consider infinite sets or sequences "as a whole" and to ask about the limit of an infinite sequence.
uncivlengr wrote:A regular polygon with an infinite number of sides is a circle.
I wouldn't say it that way. I would just say it's meaningful to ask about the limit of an infinite sequence of polygons with increasing numbers of sides.

 Posts: 1
 Joined: Tue May 29, 2012 11:16 pm UTC
Re: Troll Science: Pi
http://www.scribd.com/doc/95216567/SolutiontoCircleConNunDrum
Not much of a proof, but I didn't want to get buried in the details and wanted it be accessible.
Not much of a proof, but I didn't want to get buried in the details and wanted it be accessible.
Re: Troll Science: Pi
For this infinite sequence of curves: the length of the limit is not equal to the limit of the length.
In this particular case, the area of the limit is equal to the limit of the areas: but even this is not true in all cases. For example, define: [math]f_n(x) = \begin{cases} n & \text{for $0 < x < \frac{1}{n} $} \\ 0 & \text{elsewhere}
\end{cases}[/math] So [imath]f_n(0) = 0[/imath] for all [imath]n[/imath], and for every [imath]x > 0[/imath] there exists an integer [imath]N[/imath] such that [imath]f_n(x) = 0[/imath] for all [imath]n > N[/imath]. So:[math]f(x) = \lim_{n \to \infty}f_n(x) = 0[/math] for all [imath]x[/imath].
But:[math]\int_0^1 f_n(x)\, dx = 1[/math] while [math]\int_0^1 f(x)\, dx = 0[/math]
By defining [imath]f_n(x) = n^2[/imath] for [imath]0 < x < \frac{1}{n}[/imath] we can make the limit of the areas infinite, while the area of the limit is still zero.
In this particular case, the area of the limit is equal to the limit of the areas: but even this is not true in all cases. For example, define: [math]f_n(x) = \begin{cases} n & \text{for $0 < x < \frac{1}{n} $} \\ 0 & \text{elsewhere}
\end{cases}[/math] So [imath]f_n(0) = 0[/imath] for all [imath]n[/imath], and for every [imath]x > 0[/imath] there exists an integer [imath]N[/imath] such that [imath]f_n(x) = 0[/imath] for all [imath]n > N[/imath]. So:[math]f(x) = \lim_{n \to \infty}f_n(x) = 0[/math] for all [imath]x[/imath].
But:[math]\int_0^1 f_n(x)\, dx = 1[/math] while [math]\int_0^1 f(x)\, dx = 0[/math]
By defining [imath]f_n(x) = n^2[/imath] for [imath]0 < x < \frac{1}{n}[/imath] we can make the limit of the areas infinite, while the area of the limit is still zero.

 Posts: 563
 Joined: Tue Jul 27, 2010 8:48 am UTC
Re: Troll Science: Pi
I think that the best way to resolve this is to realize that, even after infinitely iterations, there are still many points (uncountably many, actually) on the circle that never touch the folded in square. This means that 'most' of the circle do not touch the folded in square, so they are entirely different shapes.
I have discovered a truly marvelous proof of this, which this margin is too narrow to contain.
Re: Troll Science: Pi
After infinity iterations, every point on the folded in square is on the circle, and viceversa. The limit of the folded in squares is precisely a circle.tomtom2357 wrote:I think that the best way to resolve this is to realize that, even after infinitely iterations, there are still many points (uncountably many, actually) on the circle that never touch the folded in square. This means that 'most' of the circle do not touch the folded in square, so they are entirely different shapes.
Re: Troll Science: Pi
I'm reiterating a point that has been made previously, but the key is this:
The limit of a sequence can have different properties from the elements of the sequence.
Here's a simpler example. Consider the sequence {1, 1/2, 1/3, 1/4, ...}. Each element of that sequence is positive. However, the limit of the sequence is the number 0, which is not positive.
Anybody who says things along the lines of "The limit of 0 is only approached, never reached" is missing the point, in my opinion.
The limit of the above sequence is the number 0. The limit isn't "sort of" zero; it's not some kind of nebulous number that's "almost" zero but not quite. The limit is exactly zero.
Similarly, the limit of the above polygons (using reasonable definitions) is a circle. That's not where the problem lies. However, this circle can turn out to have properties that are different from the polygons in the sequence (namely, the length of its perimeter).
The limit of a sequence can have different properties from the elements of the sequence.
Here's a simpler example. Consider the sequence {1, 1/2, 1/3, 1/4, ...}. Each element of that sequence is positive. However, the limit of the sequence is the number 0, which is not positive.
Anybody who says things along the lines of "The limit of 0 is only approached, never reached" is missing the point, in my opinion.
The limit of the above sequence is the number 0. The limit isn't "sort of" zero; it's not some kind of nebulous number that's "almost" zero but not quite. The limit is exactly zero.
Similarly, the limit of the above polygons (using reasonable definitions) is a circle. That's not where the problem lies. However, this circle can turn out to have properties that are different from the polygons in the sequence (namely, the length of its perimeter).
Re: Troll Science: Pi
This is a simple problem derivative from the "Zeno's Aporias". The guy is making equality between continuous set of points and discrete set of points. And this is wrong (as we already know from the quantum physics)
Here is another troll problem which is not the same but can be counted as "similar":
Problem: Which set has more points  the set of all natural numbers or the set of all even numbers?
The answer is simple  you can't really tell!
Here is another troll problem which is not the same but can be counted as "similar":
Problem: Which set has more points  the set of all natural numbers or the set of all even numbers?
The answer is simple  you can't really tell!

 Posts: 60
 Joined: Mon Jun 15, 2009 9:56 pm UTC
 Location: Prague, Czech Republic
Re: Troll Science: Pi
This is a simple problem derivative from the "Zeno's Aporias". The guy is making equality between continuous set of points and discrete set of points. And this is wrong (as we already know from the quantum physics).
And again, your objection misses the point; and the quantum physics has no relevance here, as it's a purely mathematical problem. The pointwise limit of the series of curves is exactly the circle; the problem is that the pointwise limit does not necessarily preserve the curve's length.
Problem: Which set has more points  the set of all natural numbers or the set of all even numbers?
The answer is: The set of all natural numbers and the set of all even numbers have the same number of elements! Meaning that there exists a onetoone correspondence between the two sets; namely, y=2*x. (Set theory 101.)
Re: Troll Science: Pi
Mike Rosoft wrote:And again, your objection misses the point; and the quantum physics has no relevance here, as it's a purely mathematical problem. The pointwise limit of the series of curves is exactly the circle; the problem is that the pointwise limit does not necessarily preserve the curve's length.
Yes, it's a math problem and yes  it has relation to quantum physics. The relation is that similar math problem gave birth to to the quantum physics. And the answer to the problem can be given in the Bulgarian high schools already  it is that "you cannot compare discrete (finite) set of points with continuous (infinite) set of points". End of story
Mike Rosoft wrote:The answer is: The set of all natural numbers and the set of all even numbers have the same number of elements! Meaning that there exists a onetoone correspondence between the two sets; namely, y=2*x. (Set theory 101.)
Again wrong  infinities cannot be compared. You cannot count the number of elements in these sets.
Re: Troll Science: Pi
wattie wrote:Mike Rosoft wrote:The answer is: The set of all natural numbers and the set of all even numbers have the same number of elements! Meaning that there exists a onetoone correspondence between the two sets; namely, y=2*x. (Set theory 101.)
Again wrong  infinities cannot be compared. You cannot count the number of elements in these sets.
I'm not sure where you got the idea that there's some kind of "rule" that you can't compare infinities.
There's a welldeveloped area of mathematics concerned with the sizes of infinite sets. It is, indeed, standard to compare various infinite sets with one another. Some pairs of infinite sets have the same number of elements, and some pairs of infinite sets have different numbers of elements.
http://en.wikipedia.org/wiki/Cardinal_number

 Posts: 60
 Joined: Mon Jun 15, 2009 9:56 pm UTC
 Location: Prague, Czech Republic
Re: Troll Science: Pi
wattie wrote:Yes, it's a math problem and yes  it has relation to quantum physics. The relation is that similar math problem gave birth to to the quantum physics. And the answer to the problem can be given in the Bulgarian high schools already  it is that "you cannot compare discrete (finite) set of points with continuous (infinite) set of points". End of story
The problem is at best tangentially related to quantum physics. And I don't know what you mean by comparing a finite and an infinite set  you don't seem to understand the concept of a limit.
wattie wrote:Again wrong  infinities cannot be compared. You cannot count the number of elements in these sets.
What I said is the standard way of comparing sets in set theory. Why can I say that the sets {0, 1, 2} and {a, b, c} have the same number of elements? Because there exists a onetoone correspondence between the two: 0 > a, 1 > b, 2 > c.
The same definition can be used for infinite sets. The set of natural numbers ({0, 1, 2, ...}) can be put into a onetoone correspondence with its subset, the set of even numbers ({0, 2, 4, ...}); the function is: y=2*x. (There exists a whole class of sets that have the same number of elements, or cardinality, as the set of natural numbers; they are called countably infinite sets.) On the other hand, it can be proven that the set of real numbers cannot be put in a onetoone correspondence with the set of natural numbers.
Mike Rosoft

 Posts: 1708
 Joined: Wed Oct 20, 2010 9:01 am UTC
Re: Troll Science: Pi
Am I the only one who'd love to see a troll childrens math book with lots of these kinds of proofs?
Give a man a fish, he owes you one fish. Teach a man to fish, you give up your monopoly on fisheries.
Re: Troll Science: Pi
HungryHobo wrote:Am I the only one who'd love to see a troll childrens math book with lots of these kinds of proofs?
I'd rather be able to find a website where you can actually find tons of those troll logic/troll sciences.
Dason wrote:Kewangji wrote:I confess I am actually scared of peanuts, and tend to avoid them, given how lethal they are to some people.
I'm not. I do my part in the fight against peanuts by destroying them with my powerful teeth. Take that peanut! How does being digested feel!?
Re: Troll Science: Pi
The first time I saw this fallacy, it involved a diagonal line rather than a circle. The lesson I took away from it: you can't just assume in general that the limit of a property of a sequence is equal to the property of the limit of the sequence.
Really, this should be obvious. Consider the sequence 1, 1/2, 1/4, ... 1/2^n ... Every single term in this sequence is positive, but the limit isn't.
Or, heck, consider the sequence 1, 2, 3... Every term in this sequence is finite. The limit isn't.
So, the troll mathematician gives us a sequence of curves. Each term in this sequence has length 4. We're supposed to conclude that the limit of the sequence also has length 4? Why? Should we also conclude that the limit is composed entirely of horizontal and vertical segments?
Really, this should be obvious. Consider the sequence 1, 1/2, 1/4, ... 1/2^n ... Every single term in this sequence is positive, but the limit isn't.
Or, heck, consider the sequence 1, 2, 3... Every term in this sequence is finite. The limit isn't.
So, the troll mathematician gives us a sequence of curves. Each term in this sequence has length 4. We're supposed to conclude that the limit of the sequence also has length 4? Why? Should we also conclude that the limit is composed entirely of horizontal and vertical segments?
Re: Troll Science: Pi
That's one of the best succinct responses to this that I've seen.

 Posts: 1708
 Joined: Wed Oct 20, 2010 9:01 am UTC
Re: Troll Science: Pi
baf wrote:Really, this should be obvious. Consider the sequence 1, 1/2, 1/4, ... 1/2^n ... Every single term in this sequence is positive, but the limit isn't.
Or, heck, consider the sequence 1, 2, 3... Every term in this sequence is finite. The limit isn't.
So, the troll mathematician gives us a sequence of curves. Each term in this sequence has length 4. We're supposed to conclude that the limit of the sequence also has length 4? Why? Should we also conclude that the limit is composed entirely of horizontal and vertical segments?
to be fair, at least with 1, 1/2, 1/4, ... 1/2^n each term is at least getting closer to zero.
It makes some intuitive sense.
(Though I've been coding too much that I think in terms of positive and negative zero. )
with the troll pi one it's just 4,4,4,4,4,4,4.... unchanging until suddenly the limit of 3.14...
Give a man a fish, he owes you one fish. Teach a man to fish, you give up your monopoly on fisheries.

 Posts: 60
 Joined: Mon Jun 15, 2009 9:56 pm UTC
 Location: Prague, Czech Republic
Re: Troll Science: Pi
On the other hand, how did ancient mathematicians estimate the value of pi? By constructing inscribed and circumscribed polygons and computing their perimeters.
How come this limit works, but the original one doesn't?
How come this limit works, but the original one doesn't?
Who is online
Users browsing this forum: No registered users and 5 guests