Can irrational numbers have patterns?
In reference to one of Cecil's columns, I was reading something about pi on wikipedia. It noted that people really do look for patterns in pi (I always thought that that was just a plot device in Aronofsky's eponymous film). I always thought that irrational numbers had no patterns because this would imply that it was a ratio of two integers and therefore rational. So what gives? Are there any known irrational numbers which exhibit patterns? Is the radix important?
Thanks, Rob 
Sure. But just not repeating patterns of fixed length. The classic example is
0.12345678910111213141516171819202122232425262728293031... IIRC this number is not only irrational, it is also transcendental. 
People looking for patterns in pi long predates that film. Look at Sagan's contact, for instance.
I believe there are plenty of numbers with patterns that aren't simple ratios  but they aren't simple patterns of repeating digits. Like 1/10 + 1/10^3+1/10^5+1/10^7+1/10^11+ etc, with all the exponents prime numbers. 
The decimal expansion of π has an infinite number of digits, so if you look long enough you'll probably find any pattern you care to search for. ;)

And you can start looking here. This only searches the first 200 million digits though, or about 0% ;)

I think the confusion revolves around what constitutes a "pattern."
Does something like 0.1010010001000010000010000001... have a pattern? I'd say it does: once you see what's going on, you can keep writing as many digits of that pattern as you want to. It's certainly not random. But it is an irrational number, because it's not just the same digit or sequence of digits repeating over and over. 
Quote:

Quote:
Of course "normal" depends on the base. A number that's normal in base 10 might not be normal in binary. A number that's normal in any base is called "absolutely normal". It's known that almost all of the real numbers are absolutely normal ("almost all" meaning the set of numbers that are NOT absolutely normal has Lebesgue measure zero). In spite of this, I don't believe an absolutely normal number has been discovered (though many believe pi is one). A normal number will contain every piece of information that can be finitely encoded into digits. Given any such method of encryption, if you look far enough into a normal number, you'll find all the works of Shakespeare in chronological order, Beethoven's symphonies, and that picture of your grandmother taken when she was 73. 
Quote:

0.12345678910111213141516171819202122232425262728293031...
Quote:
Σ_{{d=1...Infinity}}Σ_{{n=10d1...10d1}}n*10^{d(n+1)+(10d1)/9} To see how this works, consider one d at a time. d=1: Σ_{{n=1...9}}n*10^{n1+1} = 0.123456789 d=2: Σ_{{n=10...99}}n*10^{2n2+11} = 0.1011121314...979899*10^{2*9}*10^{9} = 0.1011121314...979899*10^{9} d=3: Σ_{{n=100...999}}n*10^{3n3+111} = 0.100101102103104...997998999*10^{3*99}*10^{9+99} = 0.100101102103104...997998999*10^{92*90} etc. 
Quote:
Each category contains the one above it (and every rational is constructible), but you're adding new numbers at each step. For instance, 2^{1/2} is constructible but irrational; 2^{1/3} is algebraic but not constructible; p is computable but not algebraic; and Chaitin's constant is definable but not computable. It's a little tough to give examples of nondefinable numbers in a finite amount of space, but they're out there. In fact, the set of definable real numbers has Lebesgue measure 0 (as it's a countable set), so in a very real sense almost every real number is not definable. 
Quote:
On the other hand, you're referring there only to mathematical definitions, so there might be some examples. It's conceivable, for instance, that alpha (the fine structure constant) is undefinable (in the mathematical sense), or any other dimensionless constant in physics (any of the mass ratios of particles, or chargetomass ratios, etc.). But I don't think that we could ever prove it to be so. 
Quote:
Lazy mathematicians. 
Quote:

In terms of constructible numbers, 1 is a length, not an angle. And it is possible to trisect a line segment. Or, indeed, to nsect one, where n is any integer.

If you're going to go with the circles and lines approach to constructible numbers, think of the numbers as points in the complex plane. We're given the points (0, 0) and (1, 0) to start with, and then we can draw circles and lines based on those. Anywhere that two lines intersect, or two circles, or a circle and a line is also a constructible number. The constructible reals are just the constructible numbers restricted to the real line.
Of course, the real definition has nothing to do with circles and lines, but it works well. 
This thread reminds me of an essay by Isaac Asimov I read in high school. It was call "A Piece of Pi", and near the end, he had the following footnote (bolding mine):
Quote:

All times are GMT 5. The time now is 08:15 AM. 
Powered by vBulletin® Version 3.8.7
Copyright ©2000  2018, vBulletin Solutions, Inc.
Send questions for Cecil Adams to: cecil@straightdope.com
Send comments about this website to: webmaster@straightdope.com
Terms of Use / Privacy Policy
Advertise on the Straight Dope!
(Your direct line to thousands of the smartest, hippest people on the planet, plus a few total dipsticks.)
Publishers  interested in subscribing to the Straight Dope?
Write to: sdsubscriptions@chicagoreader.com.
Copyright © 2018 STM Reader, LLC.