Comments on: Sure it's irrational! Just look!
http://www.metafilter.com/115787/Sure-its-irrational-Just-look/
Comments on MetaFilter post Sure it's irrational! Just look!Wed, 09 May 2012 18:50:11 -0800Wed, 09 May 2012 18:50:11 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Sure it's irrational! Just look!
http://www.metafilter.com/115787/Sure-its-irrational-Just-look
Geometrically the irrationality of the square root of 2 means that there is no integer-by-integer square whose area is twice the area of another integer-by-integer square. <a href="http://divisbyzero.com/2009/10/06/tennenbaums-proof-of-the-irrationality-of-the-square-root-of-2/">A visual proof that the square root of 2 is irrational</a> (not found in <a href="http://www.metafilter.com/105649/Then-you-wouldnt-have-to-say-QED-cause-Id-already-know">previous visual proof post</a>.)post:www.metafilter.com,2012:site.115787Wed, 09 May 2012 18:29:57 -0800Obscure ReferenceproofvisualmathmathsmathematicstennenbaumirrationalsquarerootoftwoBy: Chuckles
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337431
<a href="http://www.metafilter.com/54065/Proofs-and-Pictures-The-Role-of-Visualization-in-Mathematical-and-Scientific-Reasoning">previouser</a>.comment:www.metafilter.com,2012:site.115787-4337431Wed, 09 May 2012 18:50:11 -0800ChucklesBy: DU
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337437
Was sure this was going to go <a href="http://www.youtube.com/watch?v=D2xYjiL8yyE">here</a> (although that's not about irrationality so much as transcendal..ity.)comment:www.metafilter.com,2012:site.115787-4337437Wed, 09 May 2012 18:52:19 -0800DUBy: kagredon
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337467
But is the square root of 2 really...<em>necessary?</em>comment:www.metafilter.com,2012:site.115787-4337467Wed, 09 May 2012 19:26:15 -0800kagredonBy: aubilenon
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337487
kagredon: Sure it is. Without it there would be a gap in the number line.comment:www.metafilter.com,2012:site.115787-4337487Wed, 09 May 2012 19:44:00 -0800aubilenonBy: Ivan Fyodorovich
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337498
There's quite a few proofs by contradiction of the incommensurability of a square and its diagonal. For example, in college we looked at one novel proof that had been produced by a student there about ten years earlier.
This particular proof is all about what <em>squaring</em> and <em>square roots</em> <strong>really</strong> mean, geometrically. And that's a good thing to try to understand because a lot of the mathemetical nomenclature we were taught in grade-school and high-school were abstracted away from the much more intuitive geometry and, typically, students learn this nomenclature and some of these important attributes by rote and not with any intuitive comprehension whatsoever.
It was actually deeply enabling for mathematical progress when western math released itself from the shackles it'd inherited from the Greeks of thinking rigorously in terms of the qualitative distinction, for example, between a length and an area and instead just abstracted to pure number. But the legacy of this is that now we think about squaring and square roots in a way that's just about some <em>numbers</em> rather than thinking about the sides of squares and the areas of squares and the areas of squares built upon the diagonal of another square and how all these things relate to each other. In many cases, that's good, just as it was good for mathematical progress. But in other cases, it makes it more difficult for students of mathematics to have any real intuitive understanding of what all this stuff means. I've known quite a few people who made it to the college calculus level but found that they didn't really enjoy math or feel they understood very much until they approached it anew from this foundational geometrical perspective (and then worked up again).
I prefer to discuss irrational numbers in terms of incommensurability because I think it makes it much more clear what's happening here. For example, the explanation in this post and its linked piece is unambiguous but not that easy to parse and its meaning, intuit.
Rather, I prefer to simply say that there's no measurement unit, no matter how small, that can both measure the side of a square and a diagonal without being just a bit too big (or small). No matter how small you subdivide one of these two lengths into some unit, that unit simply can't measure the other length exactly. Making it smaller won't help. The two lengths simply can't be measured by the same smaller length, no matter how small. They're "incommensurable" and that's why numbers (lengths) in these relations are called <em>irrational</em> — because, from Greek usage in Euclid and earlier, they can't be put into <em>ratio</em>. They're not called <em>irrational</em> because they're crazy or nonrational in the conventional contemporary common-language meaning of that English word; but because of this history and etymology.
However, the craziness connoted by <em>irrational numbers</em> is not totally anachronistic and irrelevant because the fact that these two fundamental lengths cannot be measured by each other was an astonishingly counterintuitive truth that profoundly challenged the Pythagorean mystics, and they kept it as a great secret of their cult. And, indeed, I think that incommensurability is still today deeply counterintuitive. From a common-sense perspective, it's hard to understand that you can't find some subdivided length of one of those lengths that's small enough to exactly measure the other.
Schoolchildren are often told that irrational numbers are never-ending decimal expansions, which is true. But there's many kinds of never-ending decimals that <em>aren't</em> irrational. Many numbers which <em>can</em> be expressed as the relationship of two integers are also never-ending when expressed as a decimal. So thinking of irrationals in these terms confuses more than it enlightens. However, if you can get your head around either or both of the facts that A) you can't express an irrational number as the relationship between two integers (as a fraction or ratio) and B) that two lengths which, in relationship, form an irrational number, are two lengths which cannot be used to measure each other (because, as I wrote, any unit made from one will never be able to measure the other, no matter how small), then you'll have the beginning of an intuitive understanding of what's happening here. Those two things are just different ways of expressing the same thing, of course.
The two most famous and obvious incommensurable pairs of lengths are the side of a square and its diagonal, and the circumference of a circle and its diameter. But the diagonal of the square is where its easiest to prove incommensurability.
Book X, Proposition 9 is the relevant proof in Euclid and it's quite important. There's some significance in the fact that Euclid waited all the way until Book X to deal with this stuff.comment:www.metafilter.com,2012:site.115787-4337498Wed, 09 May 2012 19:51:42 -0800Ivan FyodorovichBy: madcaptenor
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337602
The sides of the original pink and blue squares are <i>a</i> and <i>b</i>. The sides of the dark blue and small pink squares are <i>2b-a</i> and <i>a-b</i>.
So this proof boils down to: if <i>a</i>/<i>b</i> = sqrt(2), then <i>2b-a</i>/<i>a-b</i> does as well and has smaller denominator. (For example, if 17/12 = sqrt(2), then 7/5 = sqrt(2).)
Not that the picture doesn't illuminate things. I actually find it interesting; I was just curious how this corresponded to one of the well-known algebraic proofs.comment:www.metafilter.com,2012:site.115787-4337602Wed, 09 May 2012 20:49:12 -0800madcaptenorBy: Proofs and Refutations
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337626
<a href="http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337498">Ivan Fyodorovich</a>: "<i>Schoolchildren are often told that irrational numbers are never-ending decimal expansions, which is true. But there's many kinds of never-ending decimals that aren't irrational. Many numbers which can be expressed as the relationship of two integers are also never-ending when expressed as a decimal. So thinking of irrationals in these terms confuses more than it enlightens.</i>"
Interestingly, if you write numbers as continued fractions rather than decimals then a number is irrational if and only if its representation fails to terminate (they also have interesting patterns for square roots and powers of e).comment:www.metafilter.com,2012:site.115787-4337626Wed, 09 May 2012 21:02:45 -0800Proofs and RefutationsBy: fings
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337651
madcatenor, interesting. And if you reverse the logic, making <i>a</i> and <i>b</i> the dark blue and small pink squares, then you are saying that if <i>a/b</i> = sqrt(2), then so is <i>(a+2b)/(a+b)</i>, which turns into a nice iterative approximation
(basically making bigger and bigger squares). Let's start with assuming sqrt(2)=1=1/1.
Churning this repeatedly through (a+2b)/(a+b) we get the sequence: 1, 7/5, 17/12, 41/29, 99/70, 239/169, ... each time getting a better approximation of sqrt(2).comment:www.metafilter.com,2012:site.115787-4337651Wed, 09 May 2012 21:24:00 -0800fingsBy: iotic
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337820
<em>kagredon: Sure it is. Without it there would be a gap in the number line.</em>
Curiously, this is more or less the same logic that gives us the square root of minus one. Completeness. Luckily it stops at the complex plane.comment:www.metafilter.com,2012:site.115787-4337820Wed, 09 May 2012 23:34:55 -0800ioticBy: nat
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337825
iotic, the quaternions would like to have a word with you. I suppose the octonions would too, but they're nonassociative, so maybe not.comment:www.metafilter.com,2012:site.115787-4337825Wed, 09 May 2012 23:52:12 -0800natBy: edd
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337851
Iotic is right. Complex numbers are complete in the sense that they form an algebraically closed field.comment:www.metafilter.com,2012:site.115787-4337851Thu, 10 May 2012 00:33:23 -0800eddBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337886
We could also go to the one-point compactifucation of the plane - think of the complex numbers and the point at infinity as a sphere. Another way to fill in a gap.comment:www.metafilter.com,2012:site.115787-4337886Thu, 10 May 2012 02:19:43 -0800Elementary PenguinBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337891
s/compactifucation/compactificationcomment:www.metafilter.com,2012:site.115787-4337891Thu, 10 May 2012 02:27:15 -0800Elementary PenguinBy: kcds
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337907
Pfft. It's only a theory, and you can't disprove "Intelligent Counting".comment:www.metafilter.com,2012:site.115787-4337907Thu, 10 May 2012 03:23:22 -0800kcdsBy: marienbad
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337912
<a href="http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337651">fings</a> method looks like a method we were shown at school (it was a long time a go and my memory is hazy) that the Egyptians(?) used to find roots. Is this right?
So for example, the root of 16 is 4 and the root of 25 is 5, so the root of 20 is worked out as (5+4)/2 and iterated with the new value. I could well be misremembering, so if anyone knows what I am talkig about and if I am wrong, please chime in. (Or it will bug me now!)comment:www.metafilter.com,2012:site.115787-4337912Thu, 10 May 2012 03:30:00 -0800marienbadBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337921
Yes! Given a positive number <em>a=x<sub>0</sub></em>, the recursive sequence <em>x<sub>n+1</sub>=(x<sub>n</sub>+a/x<sub>n</sub>)/2</em> converges to √a</span>.comment:www.metafilter.com,2012:site.115787-4337921Thu, 10 May 2012 04:08:43 -0800Elementary PenguinBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337922
Well, that us actually not exactly what you were talking about, but that should also work.comment:www.metafilter.com,2012:site.115787-4337922Thu, 10 May 2012 04:09:46 -0800Elementary PenguinBy: Bathtub Bobsled
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337945
It's funny how rational the discussion has proven.comment:www.metafilter.com,2012:site.115787-4337945Thu, 10 May 2012 04:54:00 -0800Bathtub BobsledBy: DU
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337949
<i>Schoolchildren are often told that irrational numbers are never-ending decimal expansions...</i>
Ugh, are they really told that? Probably. Why are elementary school teachers so terrible at math?comment:www.metafilter.com,2012:site.115787-4337949Thu, 10 May 2012 04:59:00 -0800DUBy: nebulawindphone
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337977
<i>We could also go to the one-point compactifucation of the plane - think of the complex numbers and the point at infinity as a sphere. Another way to fill in a gap.</i>
Where could a guy who doesn't really understand Group Theory read more about this? Because it sounds awesome.comment:www.metafilter.com,2012:site.115787-4337977Thu, 10 May 2012 05:38:08 -0800nebulawindphoneBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337988
<em> Where could a guy who doesn't really understand Group Theory read more about this? Because it sounds awesome. </em>
<a href="http://www.google.com/m?q=Riemann+sphere&client=ms-opera-mobile&channel=new">GOOGLE RIEMANN SPHERE</a>comment:www.metafilter.com,2012:site.115787-4337988Thu, 10 May 2012 05:49:01 -0800Elementary PenguinBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338032
<i>Schoolchildren are often told that irrational numbers are never-ending decimal expansions...
Ugh, are they really told that? Probably. Why are elementary school teachers so terrible at math?</i>
Well, the way I was taught this long ago was that irrational numbers have non-terminating, non-repeating decimal expansions, which is true.
What I think is more interesting is that any repeating decimal expansion is necessarily the decimal expansion of a rational number.
Consider <em>x</em> = 0.142857142857..., for example (point 142857 repeating). If we multiply by 1,000,000 we get 1,000,000<em>x</em> = 142857.142857..., so by subtracting <em>x</em> from both sides we get 999,999<em>x</em> = 142857, and so <em>x</em> = 142857/999999, which reduces to 1/7. You can find the fractional representation of any repeating decimal expansion in essentially this way.
<small>I don't want to grade calculus finals...</small>comment:www.metafilter.com,2012:site.115787-4338032Thu, 10 May 2012 06:40:53 -0800Elementary PenguinBy: iotic
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338092
Ooh, that's interesting, Elementary Penguin. I'd never thought to work that out.
OK so (jumping ahead a couple of steps), to prove that any ratio of integers will come out as a repeating decimal, you could start by showing that the series
9, 99, 999, 999, ...
When decomposed into prime factors, picks up every prime - right? Hmm ... *thinks*comment:www.metafilter.com,2012:site.115787-4338092Thu, 10 May 2012 07:12:38 -0800ioticBy: iotic
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338101
Ah yes, now I remember there's <a href="http://en.wikipedia.org/wiki/Repeating_decimal#Every_rational_number_is_either_a_terminating_or_repeating_decimal">an easier way</a>. Still the repeated 9s decomposition thing is interesting. I suppose another way of putting it is that the decomposition of the series must pick up all primes, since every integer division has a repeating/terminating decimal.comment:www.metafilter.com,2012:site.115787-4338101Thu, 10 May 2012 07:16:36 -0800ioticBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338112
You need to deal with repeating decimals that don't start repeating at their tenths place, though. For example,
.01818...... = <em>x</em>
10<em>x</em>= .1818 and 1000<em>x</em> = 18.1818...
So 990<em>x</em> = 18 and <em>x</em> = 18/990 = 1/55.
On preview, <a href="http://en.wikipedia.org/wiki/Repeating_decimal#Converting_repeating_decimals_to_fractions">further down the page</a> on that Wikipedia page goes into more detail.comment:www.metafilter.com,2012:site.115787-4338112Thu, 10 May 2012 07:21:03 -0800Elementary PenguinBy: Demogorgon
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338126
I know pi gets a lot of attention, but I had never understood it as well as I did until we watched a video in high school geometry explaining how it could be <a href="http://gwydir.demon.co.uk/jo/numbers/interest/pi.htm">expressed as the number of sides required by a polygon to fit inside a circle while leaving no extra space</a>.comment:www.metafilter.com,2012:site.115787-4338126Thu, 10 May 2012 07:27:05 -0800DemogorgonBy: Bort
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338128
<i>Schoolchildren are often told that irrational numbers are never-ending decimal expansions</i>
...that never repeat. If they include that part, then they're correct equating that to irrational numbers.comment:www.metafilter.com,2012:site.115787-4338128Thu, 10 May 2012 07:28:14 -0800BortBy: Ivan Fyodorovich
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338717
<i>"..that never repeat. If they include that part, then they're correct equating that to irrational numbers."</i>
Yes, of course. I'm sure that this is often presented this way. What I think happens, though, is that the distinction between "never repeats" and "repeats" doesn't seem that important relative to the "never ending" part to the students and so that's what they remember.
This has a lot to do with a certain, dominant style of pedagogy. If you emphasize definitions of terms and certain easily identifiable attributes of the things you're presenting, that's what the students will learn, not what any of it really means. And you'll do that because it's easier to teach and easier to evaluate. You'll also do that, with better justification, if your emphasis is on quickly reaching, through an accumulation of a lot of preparatory rote learning, a facility at using a bag of techniques to solve certain frequently encountered problems. This is basically the state of almost all math education today, at all levels. That's math as something more like an engineering discipline rather than as a science or a humanity. I suppose I'd have less objections to this if we were honest with ourselves that this is what we're doing. Instead, though, we continue to imagine that students are really learning something fundamental about the world when they learn math; but they're not when they're being taught as a bag of tools.
Or, worse, as a means of enabling students to work through a checklist of problems on some standardized test. That's not even a generally applicable toolset, it's a toolset for passing standardized tests.comment:www.metafilter.com,2012:site.115787-4338717Thu, 10 May 2012 11:00:09 -0800Ivan FyodorovichBy: Obscure Reference
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338775
<a href="http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338092">iotic</a>: "<i>
OK so (jumping ahead a couple of steps), to prove that any ratio of integers will come out as a repeating decimal, you could start by showing that the series
9, 99, 999, 999, ...
When decomposed into prime factors, picks up every prime - right? Hmm ... *thinks*</i>"
You're skipping 2 and 5, natch. You will get all the other primes in there because:
Let's say a prime p never shows up in the factors of (string of nines). Then dividing by p will always give a remainder.
There are only p-1 possible (non-zero) remainders so the same remainder will eventually have to show up twice among 9, 99, ... 99999(p of these).
Subtract one from the other and you get a string of 9's followed by a string of 0's. The zeros are the result of 2's and 5's which we are excluding so we can further divide by the appropriate power of 10 to get rid of the trailing zeros. We now have a string of 9's guaranteed to be divisible by p.
(I think I just helped derail my own FPP!)comment:www.metafilter.com,2012:site.115787-4338775Thu, 10 May 2012 11:18:42 -0800Obscure ReferenceBy: iotic
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4338876
Oh, very nice, thanks. And that's why maths is great.
Now what's the most intuitive proof that pi is irrational? (trying to help get the thread back on the rails, somewhat)comment:www.metafilter.com,2012:site.115787-4338876Thu, 10 May 2012 12:05:04 -0800ioticBy: Dr Dracator
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4339266
Pi is trickier - for one thing, it doesn't have an easy algebraic definition. I believe you at least need the trigonometric numbers for a proof, but don't quote me.comment:www.metafilter.com,2012:site.115787-4339266Thu, 10 May 2012 14:41:11 -0800Dr DracatorBy: madcaptenor
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4339446
<a href="http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4337651">fings</a>: <i>Churning this repeatedly through (a+2b)/(a+b) we get the sequence: 1, 7/5, 17/12, 41/29, 99/70, 239/169, ... each time getting a better approximation of sqrt(2).</i>
In fact those are the <a href="http://en.wikipedia.org/wiki/Square_root_of_2#Continued_fraction_representation">convergents of the continued fraction of sqrt(2)</a>, in a sense the best possible rational approximations. (Now I'm wondering if analogous proofs exist for other square roots. And my semester just ended, so I have time to play around with things ike this.)comment:www.metafilter.com,2012:site.115787-4339446Thu, 10 May 2012 15:39:16 -0800madcaptenorBy: wobh
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4339525
I feel a little bored with flat surfaces. What sort of surface allows "squares" to have an rational relationship of their sides and diagonals?comment:www.metafilter.com,2012:site.115787-4339525Thu, 10 May 2012 16:13:54 -0800wobhBy: madcaptenor
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4339581
Consider a "square" drawn on the sphere by connecting the points at latitude λ and longitudes 0, 90 east, 180, and 90 west by great circles. (The angles won't be right angles, but they'll all be equal, and the lengths of each side are the same.)
If φ is zero degrees (that is, if your "square" is actually the equator), then the side length is one-quarter the circumference of the sphere, and the diagonal length is half the circumference of the sphere. So the diagonal-to-side ratio is two.
But it's "obvious" that the diagonal-to-side ratio is a continuous function of λ. And if λ is very close to 90 degrees (that is, we're drawing a small square around the North Pole), then we're essentially working in the plane and the diagonal-to-side ratio is the square root of two. So choose λ appropriately and you can get that ratio to be anything between sqrt(2) and 2, including all sorts of fun rational numbers like 3/2, 11/7, 34/21, and so on.comment:www.metafilter.com,2012:site.115787-4339581Thu, 10 May 2012 16:46:53 -0800madcaptenorBy: Dr Dracator
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4340059
<i>What sort of surface allows "squares" to have an rational relationship of their sides and diagonals?</i>
You need a good definition for a square on an arbitrary surface - I'm thinking four sides of equal length, laying along geodesics, intersecting at right angles at four points to form a closed curve. Then you need to have geodesics passing through any two non-adjacent vertexes for diagonals, possibly of equal length. I'll let you call them <i>wobh surfaces</i> if you promise to put me in the acknowledgments of your differential geometry PhD thesis.comment:www.metafilter.com,2012:site.115787-4340059Thu, 10 May 2012 23:34:53 -0800Dr DracatorBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4340177
<em>Now what's the most intuitive proof that pi is irrational?</em>
Unfortunately this turns out to be hard (even though it was thought to be true as far back as Aristotle). Most of the proofs I know of (<a href="http://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational">here is the Wikipedia page <em>Proof that π is irrational</em></a>) involve calculus, although the first proof on that page, by Lambert, depends on the continued fraction of tan <em>x</em>.
It turns out to be easier to prove that <em>e = ∑<sub>k=0</sub><sup>∞</sup> (1/k!)</em> is irrational (<a href="http://en.wikipedia.org/wiki/Proof_that_e_is_irrational">again, there is a Wikipedia page with a proof</a>) but I don't know that you'd call it intuitive.
Harder still in both cases is to prove that π and <em>e</em> are <a href="">transcendental</a>, which means that neither of them are the solution to any polynomial equation. All transcendental numbers are necessarily irrational (because the rational number <em>a/b</em> is the solution to the equation <em>bx-a = 0</em>), but not all irrational numbers are transcendental (For example, √2 is the solution to the equation <em>x<sup>2</sup>-2=0</em>).
All of this is discussed in a great book by Springer called <a href="http://en.wikipedia.org/wiki/Proofs_from_the_book"><em>Proofs from THE BOOK</em></a>, which is a collection of "elegant" proofs of interesting mathematical facts. It is accessible to anyone who took some undergrad mathematics, and most of its super-calculus content is explained in marginal notes.comment:www.metafilter.com,2012:site.115787-4340177Fri, 11 May 2012 05:18:09 -0800Elementary PenguinBy: Elementary Penguin
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4341222
To correct an embarrassing mistake, I should add that transcendental numbers aren't the solution to any polynomial equation with <em>integer coefficients</em>. π is of course a solution to the equation <em>x</em>-π = 0.comment:www.metafilter.com,2012:site.115787-4341222Fri, 11 May 2012 17:34:14 -0800Elementary PenguinBy: aubilenon
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4341636
<i>You need a good definition for a square on an arbitrary surface</i>
A square is a regular polygon with four sides. Regular means all the sides are equal and all the angles are equal. In euclidean geometry things work out that the angles must be 90 degree angles, but in other geometries (like the spherical example madcaptenor describes) that won't be possible.
I think there might be situations where a "square" by this definition is impossible - that's fine. We don't have regular 5-hedra in euclidean space, and that doesn't cause problems - until you need one for something.comment:www.metafilter.com,2012:site.115787-4341636Fri, 11 May 2012 23:47:00 -0800aubilenonBy: kliuless
http://www.metafilter.com/115787/Sure-its-irrational-Just-look#4387486
john baez on roots!
-<a href="http://johncarlosbaez.wordpress.com/2011/12/02/babylon-and-the-square-root-of-2/">Babylon and the Square Root of 2</a> [<a href="https://plus.google.com/u/0/117663015413546257905/posts/UGJtj27dRZS">1</a>,<a href="https://plus.google.com/u/0/117663015413546257905/posts/M28exrNgUhY">2</a>,<a href="https://plus.google.com/u/0/117663015413546257905/posts/baH3euRS9Pf">3</a>]
-<a href="http://johncarlosbaez.wordpress.com/2011/12/11/the-beauty-of-roots/">The Beauty of Roots</a> (<a href="http://johncarlosbaez.wordpress.com/2012/01/07/the-beauty-of-roots-part-2/">part 2</a> & <a href="http://johncarlosbaez.wordpress.com/2012/02/15/the-beauty-of-roots-part-3/">3</a>) [<a href="https://plus.google.com/u/0/117663015413546257905/posts/15XTQLeNPSp">1</a>,<a href="https://plus.google.com/u/0/117663015413546257905/posts/batpP66Eo4B">2</a>]
-<a href="http://johncarlosbaez.wordpress.com/2012/03/15/tidbits-of-geometry/">Tidbits of Geometry</a> [<a href="https://plus.google.com/u/0/117663015413546257905/posts/9PqQPuxSGBf">1</a>]: "easy way to make a regular pentagon: just tie a simple overhand knot in a strip of paper... Did anyone ever build a mechanical gadget that lets you take fifth roots?"
also btw...
-<a href="http://johncarlosbaez.wordpress.com/2011/12/22/quantropy/">Quantropy</a> (<a href="http://johncarlosbaez.wordpress.com/2012/02/10/quantropy-part-2/">Part 2</a>/<a href="http://johncarlosbaez.wordpress.com/2012/02/18/quantropy-part-3/">3</a>)
-<a href="http://johncarlosbaez.wordpress.com/2012/05/21/symmetry-and-the-fourth-dimension-part-1/">Symmetry and the Fourth Dimension</a> (<a href="http://johncarlosbaez.wordpress.com/2012/05/27/symmetry-and-the-fourth-dimension-part-2/">Part 2</a>): "The idea is to start with something very familiar and then take it a little further than most people have seen."
more interesting/exciting stuff :P
<a href="https://plus.google.com/u/0/117663015413546257905/posts/YjHqJ7mUcpA">Entropy of Non-Extremal Black Holes from Loop Gravity</a>: "<a href="http://arxiv.org/abs/1204.5122">interesting paper</a> by Eugenio Bianchi which claims to recover the Bekenstein-Hawking relation between the area of a black hole and its entropy, starting from a spin foam model of quantum gravity. This would be big news if it really works."
<a href="https://plus.google.com/u/0/117663015413546257905/posts/HHGynqmATyB">A Bayesian network</a>: "Figuring out what causes what is tricky. Luckily we have tools to help us, like Bayesian networks. These have been developed by many people, but perhaps most famously by Judea Pearl, who in 2011 won the Turing Award 'for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.' "
<a href="https://plus.google.com/u/0/117663015413546257905/posts/AQ66EpXZinM">Entropy & probability theory</a>: "<a href="http://arxiv.org/abs/cond-mat/0410063">Here</a> Cosma Shalizi argues that in the Bayesian approach to probability theory, entropy would decrease as a function of time, contrary to what's observed. He concludes: 'Avoiding this <a href="http://johncarlosbaez.wordpress.com/2011/08/19/bayesian-computations-of-expected-utility/">unphysical conclusion</a> requires rejecting the ordinary equations of motion, or practicing an incoherent form of statistical inference, or rejecting the identification of uncertainty and thermodynamic entropy.' "
<a href="https://plus.google.com/u/0/117663015413546257905/posts/CrfFQyZTQa2">Negative information</a>: "In 2005 Michal Horodecki, Jonathan Oppenheim and Andreas Winter wrote a <a href="http://arxiv.org/abs/quant-ph/0505062">nice paper on negative information</a>. I find it a bit easier to think about entropy. Entropy is the information you're missing about the precise details of a system. For example, if I have a coin under my hand and you can't see which side it up, you'll say it has an entropy of one bit."
<a href="https://plus.google.com/u/0/117663015413546257905/posts/UpZ7y5fA33m">Falling into a realistic Reissner-Nordstrom Black Hole</a>: "What's it like to fall into a black hole? Here is a <a href="http://www.youtube.com/watch?v=5JfjqUSLDdk">fairly realistic video</a> made by Andrew Hamilton using a supercomputer simulation by John Hawley - though in reality you wouldn't hear music like this, thank god."
<a href="https://plus.google.com/u/0/117663015413546257905/posts/CpvjJ5V7DrX">Debussy, Arabesque #1, Piano Solo (animation ver. 2)</a>: Watch Debussy's first 'Arabesque' unfold before your eyes and you'll see that this lush, dreamy, impressionist work is also <a href="http://www.youtube.com/watch?v=A6s49OKp6aE">geometry in motion</a>, alive and organic as a fern yet precise as a crystal."comment:www.metafilter.com,2012:site.115787-4387486Fri, 08 Jun 2012 14:34:31 -0800kliuless