Proof that N = (45+29 sqrt(2))^(1/3)+(45-29 sqrt(2))^(1/3)N=(45+292)13+(45292)13 is a integer ?

2 Answers
Sep 13, 2016

Consider t^3-21t-90 = 0t321t90=0

This has one Real root which is 66 a.k.a. (45+29sqrt(2))^(1/3)+(45-29sqrt(2))^(1/3)(45+292)13+(45292)13

Explanation:

Consider the equation:

t^3-21t-90 = 0t321t90=0

Using Cardano's method to solve it, let t = u+vt=u+v

Then:

u^3+v^3+3(uv-7)(u+v)-90 = 0u3+v3+3(uv7)(u+v)90=0

To eliminate the term in (u+v)(u+v), add the constraint uv=7uv=7

Then:

u^3+7^3/u^3-90 = 0u3+73u390=0

Multiply through by u^3u3 and rearrange to get the quadratic in u^3u3:

(u^3)^2-90(u^3)+343 = 0(u3)290(u3)+343=0

by the quadratic formula, this has roots:

u^3 = (90+-sqrt(90^2-(4*343)))/2u3=90±902(4343)2

color(white)(u^3) = 45 +- 1/2sqrt(8100-1372)u3=45±1281001372

color(white)(u^3) = 45 +- 1/2sqrt(6728)u3=45±126728

color(white)(u^3) = 45 +- 29sqrt(2)u3=45±292

Since this is Real and the derivation was symmetric in uu and vv, we can use one of these roots for u^3u3 and the other for v^3v3 to deduce that the Real zero of t^3-21t-90t321t90 is:

t_1 = root(3)(45+29sqrt(2))+root(3)(45-29sqrt(2))t1=345+292+345292

but we find:

(6)^3-21(6)-90 = 216 - 126 - 90 = 0(6)321(6)90=21612690=0

So the Real zero of t^3-21t-90t321t90 is 66

So 6 = root(3)(45+29sqrt(2))+root(3)(45-29sqrt(2))6=345+292+345292

color(white)()
Footnote

To find the cubic equation, I used Cardano's method backwards.

Sep 13, 2016

N = 6N=6

Explanation:

Making x = 45+29 sqrt(2)x=45+292 and y = 45-29 sqrt(2)y=45292 then

(x^(1/3)+y^(1/3))^3=x + 3 (x y)^(1/3)x^(1/3)+3(x y)^(1/3) y^(1/3)+y(x13+y13)3=x+3(xy)13x13+3(xy)13y13+y

(x y)^(1/3) = (7^3)^(1/3) = 7(xy)13=(73)13=7
x+y =2 xx 45x+y=2×45

so

(x^(1/3)+y^(1/3))^3 = 90 + 21(x^(1/3)+y^(1/3))(x13+y13)3=90+21(x13+y13)

or calling z = x^(1/3)+y^(1/3)z=x13+y13 we have

z^3-21 z-90 = 0z321z90=0

with 90 = 2 xx 3^2 xx 590=2×32×5 and z = 6z=6 is a root so

x^(1/3)+y^(1/3) = 6x13+y13=6