Square Root of an Odd Powered Integer is Always Irrational?

In summary: Right. But Excel seems to consistently chop them off at 15.Try keying 1234567890123456 into a cell and set the display format to number (default 2 digits to the right of the... decimal point).In summary, Excel giving strange results. Seems to fail for taking square roots of very large odd powered numbers. It rounds off the square root of a very large odd powered integer, giving an integer value instead of an irrational number. This is due to its limitation on accuracy, as it uses a 64-bit floating point system which only maintains slightly over 15 decimal digit precision.
  • #1
e2m2a
359
14
TL;DR Summary
Excel giving strange results. Seems to fail for taking square roots of very large odd powered numbers.
Is it always true that the square root of an odd powered integer will always be irrational?
 
Mathematics news on Phys.org
  • #2
e2m2a said:
Summary:: Excel giving strange results. Seems to fail for taking square roots of very large odd powered numbers.

Is it always true that the square root of an odd powered integer will always be irrational?
What about ##\sqrt{4^3} = 8##?
 
  • Like
Likes Vanadium 50, anorlunda, phinds and 2 others
  • #3
Well, actually 4^3 can be expressed as (2^2)to the third power or (2^3)squared. What I meant is an integer that cannot be expressed as a square and then raised to an odd power. Would not such an integer raised to an odd power always yield an irrational number when the square root is taken?
 
  • #4
e2m2a said:
Well, actually 4^3 can be expressed as (2^2)to the third power or (2^3)squared. What I meant is an integer that cannot be expressed as a square and then raised to an odd power. Would not such an integer raised to an odd power always yield an irrational number when the square root is taken?
Take any positive integer ##n##. Either:

a) ##n## is a perfect square, hence ##\sqrt n## is a postive integer.

or

b) ##\sqrt n## is irrational.

In other words, there is no positive integer ##n## where:

c) ##\sqrt n## is a proper rational. I.e. rational but not an integer.

Proving this is a useful exercise.
 
  • Like
Likes DrClaude, jedishrfu and FactChecker
  • #5
From the research I have done since posting, it says that the square root of any non-square integer is always an irrational number.
 
  • #6
Correct, that's also what post 4 says. It's pretty easy to prove.
 
  • Like
Likes hutchphd
  • #7
e2m2a said:
Summary:: Excel giving strange results. Seems to fail for taking square roots of very large odd powered numbers.
Fail in what way?

e2m2a said:
Is it always true that the square root of an odd powered integer will always be irrational?
Whether something is irrational or not has absolutely no bearing on the accuracy of any compution in Excel.
 
  • #8
pbuk said:
Whether something is irrational or not has absolutely no bearing on the accuracy of any compution in Excel.
Except, of course, to the extent that no irrational number can be a model number in IEEE 754 floating point. An integer might or might not be.
 
  • Like
Likes PeroK
  • #9
pbuk said:
Fail in what way?Whether something is irrational or not has absolutely no bearing on the accuracy of any compution in Excel.
Excel rounds off the square root of a very large odd powered integer so that it gives an integer value. I have tested this with very large numbers. This is why I needed to research if the square root of odd powered integers always yields an irrational number. Excel like any other computer programs have a limitation on their accuracy.
 
  • #10
e2m2a said:
Excel rounds off the square root of a very large odd powered integer so that it gives an integer value. I have tested this with very large numbers. This is why I needed to research if the square root of odd powered integers always yields an irrational number. Excel like any other computer programs have a limitation on their accuracy.
Can you give an example? "Very large" is not very exact.

Edit: figured it out for you...

By default, Excel displays cells in "General" format. Using this format, you can put a formula into a cell and see a number displayed. For instance, =sqrt(3^41).

Under the default "General" format, this displays as 6039287738
Under the "Number" format, this displays as 6039287737.57
Under the "Accounting" format, this displays as 6,039,287,737.57
Under the "Number" format with 10 decimal places, this displays at 6039287737.5706100000

One assumes that those last five digits were simply zero filled. That is 15 or maybe 16 decimal digits of precision. Which is about right for a 64 bit IEEE float.
 
Last edited:
  • #11
e2m2a said:
Excel rounds off the square root of a very large odd powered integer so that it gives an integer value. I have tested this with very large numbers. This is why I needed to research if the square root of odd powered integers always yields an irrational number. Excel like any other computer programs have a limitation on their accuracy.

Excel might not do that internally, but the number of significant digits it displays might make it look like it does that.
 
  • Like
Likes jbriggs444
  • #12
jbriggs444 said:
Can you give an example? "Very large" is not very exact.

Edit: figured it out for you...

By default, Excel displays cells in "General" format. Using this format, you can put a formula into a cell and see a number displayed. For instance, =sqrt(3^41).

Under the default "General" format, this displays as 6039287738
Under the "Number" format, this displays as 6039287737.57
Under the "Accounting" format, this displays as 6,039,287,737.57
Under the "Number" format with 10 decimal places, this displays at 6039287737.5706100000

One assumes that those last five digits were simply zero filled. That is 15 or maybe 16 decimal digits of precision. Which is about right for a 64 bit IEEE float.
Raise 7 to the 39th power in excel and then take the square root. The answer should be an irrational number but it shows up as an integer with zeroes in the decimal place.
 
  • #13
e2m2a said:
Raise 7 to the 39th power in excel and then take the square root. The answer should be an irrational number but it shows up as an integer with zeroes in the decimal place.
When I try I get (same as using Python):

3.01586E+16​
 
  • #14
e2m2a said:
Raise 7 to the 39th power in excel and then take the square root. The answer should be an irrational number but it shows up as an integer with zeroes in the decimal place.
15 digits of precision displayed, followed by zeroes. The underlying implementation is 64 bit floating point. Apparently rounded to 15 decimal digits.

https://www.microsoft.com/en-us/mic...y-does-excel-give-me-seemingly-wrong-answers/
 
  • #15
jbriggs444 said:
15 digits of precision displayed, followed by zeroes. The underlying implementation is 64 bit floating point. Apparently rounded to 15 decimal digits.
The IEEE 754 Standard for floating point 64-bit numbers maintains slightly over 15 decimal digit precision. See https://en.wikipedia.org/wiki/IEEE_754.
 
  • #16
Mark44 said:
The IEEE 754 Standard for floating point 64-bit numbers maintains slightly over 15 decimal digit precision. See https://en.wikipedia.org/wiki/IEEE_754.
Right. But Excel seems to consistently chop them off at 15.

Try keying 1234567890123456 into a cell and set the display format to number (default 2 digits to the right of the decimal point). The six is discarded in favor of a zero. Same if you key in 1234567890.123456. [Excel actually truncates the cell contents in these cases, not just the displayed value]

Or, equally dramatic, try =111111111*111111111 (9 digits times 9 digits) for a result of 12345678987654300 (off by 21).

It is a reasonable strategy, producing zeroes rather than digits of questionable accuracy.
 
Last edited:
  • #17
You can check if it has the next digit internally if you calculate 111111111*111111111 - 12345678987654200. Is the result 100 or something close to it?
 
  • #18
e2m2a said:
Raise 7 to the 39th power in excel and then take the square root. The answer should be an irrational number but it shows up as an integer with zeroes in the decimal place.
[itex]39\log7 \approx 32.96[/itex]. I would not expect the result of [itex]7^{39}[/itex] to be accurate, still less the result of the square root.
 
  • #19
mfb said:
You can check if it has the next digit internally if you calculate 111111111*111111111 - 12345678987654200. Is the result 100 or something close to it?
Nicely designed experiment. The result is 120. Based on this result, the intermediate result used by Excel was 12345678987654320 exactly. This fits the IEEE 754 expectation.

Expressed in binary, the product 111111111*111111111 has 54 bits. IEEE 754 can express 53 (counting one extra "hidden" bit from normalization). Here is the true mathematical result for the product. [Result obtained from Windows calculator, programmer mode]
Code:
10 1011 1101 1100 0101 0100 0110 0010 1001 0001 1111 0100 1011 0001
 <---------------------------- 52 bits -------------------------->
^                                                                 ^
One "hidden" bit from normalization           One bit not expressed
IEEE 754 64 bit can exactly express the number one greater than this and the number one less than this. Those two are both "model numbers" within the floating point format. But the mathematically correct result is not a model number. IEEE 754 64 bit cannot express the product exactly.

The value that you asked to be subtracted (12345678987654200) is a model number which also fits in 15 decimal digits. (All 15 digit integers are model numbers within the 64 bit IEEE floats). Again, my compliments on the chosen probe.

One can get more information on IEEE 754 from the wiki page. I've extracted a summary here.

1641638603319.png

Digression alert...

Many programmers treat floating point as being inherently inexact. These individuals usually display a healthy paranoia in their programs. However, floating point has exact and predictable behavior.

Forty years ago I was using 64 bit floating point in an accounting environment for correct-to-the-penny calculations. [I hate bean counters]. Our hardware and programming languages provided no direct support for 64 bit integer arithmetic. Fortunately, the hardware and software did support 56 bit significands in its 64 bit (VAX D floating) format. Put an integer number of pennies into a D float and everything works fine as long as you are dealing with less than 720 trillion dollars or so.
 
Last edited:
  • Like
Likes mfb and sysprog
  • #20
e2m2a said:
Excel like any other computer programs have a limitation on their accuracy.
e2m2a said:
Raise 7 to the 39th power in excel and then take the square root. The answer should be an irrational number but it shows up as an integer with zeroes in the decimal place.
But again this has nothing to do with rational vs irrational: Excel does not calculate sqrt(7^40) exactly either.
 
  • #21
mfb said:
You can check if it has the next digit internally if you calculate 111111111*111111111 - 12345678987654200. Is the result 100 or something close to it?
Windows 10 Calculator shows 111111111 x 111111111 = 12345678987654321 ##-## maybe the Excel guys should try to glean something from the Calculator code, now that it's open source (github.com/microsoft/calculator).
 
  • #22
Windows Calculator uses arbitrary precision arithmetic (some of the time) which requires a different set of choices for dealing with edge cases from arithmetic using numbers stored using IEEE 754.

The limitations of IEEE 754 are well suited to (and well understood by computational experts in) almost all applied scientific and financial purposes, which is what Excel is mainly used for.

If you want arbitrary precision, rational or Big Integer arithmetic then use a package that supports that.
 
  • Like
Likes sysprog
  • #23
pbuk said:
Windows Calculator uses arbitrary precision arithmetic (some of the time) which requires a different set of choices for dealing with edge cases from arithmetic using numbers stored using IEEE 754.

The limitations of IEEE 754 are well suited to (and well understood by computational experts in) almost all applied scientific and financial purposes, which is what Excel is mainly used for.

If you want arbitrary precision, rational or Big Integer arithmetic then use a package that supports that.
Yeah, when I increase the number of 1s to 17, the result is 1.2345679012345678765432098765432e+32.
 
  • #24
jbriggs444 said:
and everything works fine as long as you are dealing with less than 720 trillion dollars or so.
Zimbabwe would like to have a word different implementation.

There are a few bank errors which can give some insight. This 11.7 quadrillion bill was simply adding a lot of zeros to the real bill (they offered a repayment plan!), but this $23 quadrillion dollar balance has a lot of different digits. No obvious pattern in decimal or binary dollars - but in cents, it's 10000000100000001000000010000000100000001000000001001001010000_2 or 2020202020201250_16. The pattern here is obvious. The last digits are caused by actual account transactions, and a computer error added a lot of 0x20 bytes to it. There are more than 53 non-zero binary digits and 62 in total. This suggests the bank uses 64 bit integers.
 
  • Like
  • Haha
Likes jim mcnamara, jbriggs444 and sysprog
  • #25
mfb said:
The last digits are caused by actual account transactions, and a computer error added a lot of 0x20 bytes to it.
ASCII 0x20 is " " (space). Don't blame the computer - as usual, the error can be traced to one or more inept programmers.
 
  • Like
Likes mfb
  • #26
I'd like to deposit " " in my bank account please. That should be free, right?
 
  • #27
jbriggs444 said:
However, floating point has exact and predictable behavior.
Yes, although that statement might easily be misunderstood by someone who hasn’t been through the wars. As many pre-IEEE floating point designs demonstrated, “exact and predictable” does not preclude “bizarre and surprising”.

IEEE-754 is one of the underappreciated triumphs of computing, making the world safer for the naive every day.
 
  • Like
Likes pbuk and jbriggs444
  • #28
The nth root of x given by =int(x^(1/n)) in Excel is an integer ;)
 
  • #29
BWV said:
The nth root of x given by =int(x^(1/n)) in Excel is an integer ;)
Are you suggesting something like...

Put some positive integer into A1
Put some positive integer into A2
Put =A1^A2 into A3
Put =INT(A3^(1/A2)) into A4
Observe that A4 is equal to A1 unless an overflow has occurred while computing A3
 
  • #30
jbriggs444 said:
Are you suggesting something like...

Put some positive integer into A1
Put some positive integer into A2
Put =A1^A2 into A3
Put =INT(A3^(1/A2)) into A4
Observe that A4 is equal to A1 unless an overflow has occurred while computing A3
It was just an attempt at a joke, but per the OP x would be a^some odd power and n would be 1/2
 
  • #31
e2m2a said:
From the research I have done since posting, it says that the square root of any non-square integer is always an irrational number.
Did you notice that if you write any of those irrational square roots as a continued fraction, they always repeat.
 
  • Like
Likes sysprog
  • #32
e2m2a said:
Is it always true that the square root of an odd powered integer will always be irrational?
What about 1?
 
  • Like
Likes Keith_McClary and Vanadium 50

FAQ: Square Root of an Odd Powered Integer is Always Irrational?

1. What is an odd powered integer?

An odd powered integer is a whole number that is raised to an odd power, such as 3^5 or 7^9. This means that the number is multiplied by itself a certain number of times, where the exponent is an odd number.

2. What is a square root?

A square root is a number that, when multiplied by itself, gives the original number. For example, the square root of 9 is 3, because 3 multiplied by itself is 9.

3. Why is the square root of an odd powered integer always irrational?

This is because when an odd powered integer is squared, the resulting number will always have a prime factor that is not present in the original number. This prime factor will not have a corresponding pair, making the square root an irrational number.

4. Can you provide an example of an odd powered integer with an irrational square root?

One example is 5^3, which equals 125. The square root of 125 is approximately 11.180339887498949, which is an irrational number.

5. How is this concept relevant in real life?

The concept of the square root of an odd powered integer being irrational has many applications in fields such as mathematics, engineering, and computer science. It is used in various calculations and equations, and understanding this concept can help in solving complex problems and developing new technologies.

Similar threads

Replies
12
Views
2K
Replies
23
Views
2K
Replies
4
Views
1K
Replies
4
Views
1K
Replies
9
Views
10K
Replies
4
Views
2K
Replies
11
Views
1K
Back
Top