Cómo expresar [matemáticas] \ sqrt [3] {2 + \ sqrt {5}} [/ matemáticas] en la forma [matemáticas] a + b \ sqrt {5} [/ matemáticas] donde a, b son números racionales ( cálculo no permitido)

Consulte la respuesta de Amitabha Tripathi a ¿Cómo resuelvo [matemáticas] x ^ 2-8y ^ 2 = 1 [/ matemáticas] donde, [matemáticas] x, y \ in \ mathbb {N} [/ matemáticas] usando la fracción continua de [matemáticas] \ sqrt {8} [/ matemáticas]?


La unidad fundamental para las ecuaciones de Pell.

[matemáticas] x ^ 2–5y ^ 2 = \ pm 1 [/ matemáticas]

es [matemática] {\ epsilon} _5 = \ dfrac {1+ \ sqrt {5}} {2} [/ matemática]. Puede resolver esto a partir de mi publicación anterior mostrando primero que la expansión de fracción continua para [math] \ sqrt {5} = \ big [2; \ overline {4} \ big] [/ math]. [math] ([/ math] Más generalmente, [math] \ sqrt {n ^ 2 + 1} = \ big [n; \ overline {2n} \ big] [/ math]. [math]) [/ math]

Por lo tanto, todas las soluciones en pares enteros positivos [matemática] (x, y) [/ matemática] a [matemática] x ^ 2–5y ^ 2 = -1 [/ matemática] se obtienen al igualar partes racionales e irracionales de

[matemática] x + \ sqrt {5} y = \ left (\ dfrac {1+ \ sqrt {5}} {2} \ right) ^ n [/ math], [math] n [/ math] impar y positivo .

Como [math] (2,1) [/ math] es una solución para [math] x ^ 2–5y ^ 2 = -1 [/ math], se deduce que

[matemáticas] 2+ \ sqrt {5} = \ left (\ dfrac {1+ \ sqrt {5}} {2} \ right) ^ n [/ math]

para algún número entero impar y positivo [matemáticas] n [/ matemáticas].

Como [matemáticas] \ phi = \ frac {1+ \ sqrt {5}} {2} \ aprox 1.6 [/ matemáticas] y [matemáticas] 2+ \ sqrt {5} \ aproximadamente 4.2 [/ matemáticas], vemos que [matemáticas] \ phi <2+ \ sqrt {5} <{\ phi} ^ 5 [/ matemáticas]. Por lo tanto, [math] 2+ \ sqrt {5} [/ math] debe ser igual a [math] {\ phi} ^ 3 [/ math], y así

[matemáticas] \ sqrt [3] {2+ \ sqrt {5}} = \ phi = \ dfrac {1+ \ sqrt {5}} {2} \ ldots (1) [/ matemáticas]


El hecho de que [math] \ phi = \ frac {1+ \ sqrt {5}} {2} [/ math] está íntimamente conectado con la secuencia de Fibonacci sugiere otra forma de manejar el problema de mostrar por qué eqn. [Math] ( 1) [/ math] funciona.

Comenzando con el hecho de que [matemáticas] {\ phi} ^ 2 = \ phi + 1 [/ matemáticas], podemos mostrar fácilmente que

[math] {\ phi} ^ n = F_n \ cdot \ phi + F_ {n-1} [/ math] para [math] n \ ge 2 \ ldots (2) [/ math]

El caso base [matemática] n = 2 [/ matemática] se deduce de [matemática] F_1 = F_2 = 1 [/ matemática]. Suponiendo la ecuación [math] (2) [/ math],

[matemáticas] {\ phi} ^ {n + 1} = \ phi \ cdot {\ phi} ^ n = \ big (F_n \ cdot {\ phi} ^ 2 \ big) + \ big (F_ {n-1} \ cdot \ phi \ big) [/ math]

[matemáticas] = F_n \ big (\ phi + 1 \ big) + F_ {n-1} \ cdot \ phi [/ math]

[matemáticas] = F_ {n + 1} \ cdot \ phi + F_n [/ matemáticas],

demostrando la identidad en eqn. [matemáticas] (2) [/ matemáticas] por inducción matemática .

Así

[matemáticas] {\ phi} ^ 3 = F_3 \ cdot \ phi + F_2 = 2 \ phi + 1 = 2+ \ sqrt {5} [/ matemáticas],

para que [math] \ sqrt [3] {2+ \ sqrt {5}} = \ phi, [/ math] como se obtuvo anteriormente en la ecuación. [matemáticas] (1) [/ matemáticas] [matemáticas] \ blacksquare [/ matemáticas]

Si [math] \ sqrt [3] {2+ \ sqrt5} = a + b \ sqrt5 [/ math], para algunos [math] a, b [/ math] racionales, entonces: \ begin {align}
2+ \ sqrt5 & = (a + b \ sqrt5) ^ 3 \\
& = a ^ 3 + 3a ^ 2b \ sqrt5 + 3ab ^ 25 + b ^ 25 \ sqrt5 \\
& = (a ^ 3 + 15ab ^ 2) + (3a ^ 2b + 5b ^ 3) \ sqrt5 \\
2 & = a ^ 3 + 15ab ^ 2 & (1) \\
\ sqrt5 & = (3a ^ 2b + 5b ^ 3) \ sqrt5 \\
1 & = 3a ^ 2b + 5b ^ 3 y (2) \\
a ^ 3 + 15ab ^ 2 & = 2 (3a ^ 2b + 5b ^ 3) \ qquad (1) = 2 (2) \\
a ^ 3-6a ^ 2b + 15ab ^ 2–10b ^ 3 & = 0 & (3) \\
\ end {align}

Si hay una solución racional para [matemáticas] a, b [/ matemáticas], entonces lo anterior debe ser factorizable como: \ begin {ecation}
a ^ 3-6a ^ 2b + 15ab ^ 2–10b ^ 3 = (a-Xb) (a ^ 2-Yab + Zb ^ 2),
\ end {ecuación} para algunos enteros [matemática] X, Y, Z [/ matemática], donde \ begin {align}
X + Y & = 6, \\
XY + Z & = 15, \\
XZ & = 10.
\ end {align}

Una solución es [matemática] X = 1, Z = 10, Y = 5 [/ matemática], y [matemática] a ^ 2-5ab + 10b ^ 2 [/ matemática] ya no es factorizable. ([matemática] X = 2 [/ matemática], [matemática] X = 5 [/ matemática] y [matemática] X = 10 [/ matemática] no son soluciones)

Entonces [math] (ab) (a ^ 2-5b + 10b ^ 2) = 0 [/ math] solo se puede resolver para [math] a = b [/ math].

Vamos a reemplazarlo en [matemáticas] (1) [/ matemáticas]: \ begin {align}
2 & = a ^ 3 + 16a ^ 3 \\
\ frac18 & = a ^ 3 \\
\ frac12 & = a = b
\ end {align}

Entonces [math] \ boxed {\ sqrt [3] {2+ \ sqrt5} = \ dfrac {1+ \ sqrt5} 2} [/ math].

El cálculo no ayudará.

Por analogía con números complejos, podemos definir una norma similar a la magnitud al cuadrado, [matemática] N (a + b \ sqrt {5}) = a ^ 2 – 5b ^ 2 [/ matemática]

La norma del producto es el producto de las normas:

[matemáticas] (a + b \ sqrt {5}) (c + d \ sqrt {5}) = (ac + 5bd) + (ad + bc) \ sqrt {5} [/ matemáticas]

[matemática] N ((a + b \ sqrt {5}) (c + d \ sqrt {5})) = (ac + 5bd) ^ 2-5 (ad + bc) ^ 2 [/ matemática]

[matemática] = a ^ 2 c ^ 2 + 10abcd + 25 b ^ 2 d ^ 2 – 5a ^ 2d ^ 2 -10 abcd – 5 b ^ 2 c ^ 2 [/ matemática]

[matemáticas] = a ^ 2 (c ^ 2 – 5 d ^ 2) – 5b ^ 2 (c ^ 2 – 5 d ^ 2) = [/ matemáticas]

[matemáticas] = (a ^ 2 – 5b ^ 2) (c ^ 2 – 5d ^ 2) [/ matemáticas]

[matemáticas] N ((a + b \ sqrt {5}) (c + d \ sqrt {5})) = N (a + b \ sqrt {5}) N (c + d \ sqrt {5}) \ quad \ checkmark [/ math]

[matemáticas] N (2+ \ sqrt {5}) = 2 ^ 2 -5 = -1 [/ matemáticas]

Entonces [matemáticas] (N (a + b \ sqrt {5})) ^ 3 = -1 [/ matemáticas] así que [matemáticas] N (a + b \ sqrt {5}) = – 1 [/ matemáticas] o [ matemáticas] a ^ 2 – 5b ^ 2 = -1 [/ matemáticas]

Con eso detrás de nosotros, el enfoque directo rinde

[matemáticas] (a + b \ sqrt {5}) ^ 3 = 2 + \ sqrt {5} [/ matemáticas]

[matemáticas] a ^ 3 + 3 a ^ 2 b \ sqrt {5} + 15 ab ^ 2 + 5 b ^ 3 \ sqrt {5} = 2 + \ sqrt {5} [/ matemáticas]

Partes equivalentes

[matemáticas] a ^ 3 + 15 ab ^ 2 = 2 [/ matemáticas]

[matemáticas] 3 a ^ 2 b + 5 b ^ 3 = 1 [/ matemáticas]

Combinando esto último con nuestro resultado inicial

[matemáticas] 3 (5b ^ 2 – 1) b + 5 b ^ 3 – 1 = 0 [/ matemáticas]

[matemáticas] 20 b ^ 3 – 3b -1 = 0 [/ matemáticas]

Que factores

[matemáticas] (2b -1) (10b ^ 2 + 5b +1) = 0 [/ matemáticas]

[matemáticas] b = \ frac 1 2 \ quad [/ matemáticas] es la única raíz racional

[matemáticas] a ^ 2 = 5b ^ 2 – 1 = 5/4 -1 = 1/4 [/ matemáticas]

[matemáticas] a = \ pm 1/2 [/ matemáticas]

Solo uno de esos funcionará.

[matemáticas] a = 1/2 \ quad a ^ 3 + 15ab ^ 2 = 1/8 + 15/8 = 16/8 = 2 \ quad \ marca de verificación [/ math]

[matemáticas] a = -1 / 2 \ quad a ^ 3 + 15ab ^ 2 = -1 / 8-15 / 8 = – 2 \ quad [/ matemáticas] no

Cheque:

[matemática] \ left (\ dfrac 1 2 + \ dfrac 1 2 \ sqrt {5} \ right) ^ 3 = [/ math]

[matemáticas] \ dfrac 1 8 (1 + \ sqrt {5}) ^ 3 [/ matemáticas]

[math] = \ dfrac 1 8 (1 + 5 \ sqrt {5} + 3 \ sqrt {5} (1+ \ sqrt {5})) [/ math]

[matemáticas] = \ dfrac 1 8 (16 + 8 \ sqrt {5}) [/ matemáticas]

[matemáticas] = 2 + \ sqrt {5} \ quad \ marca de verificación [/ matemáticas]

Heroicamente cubicando para eliminar la raíz, y usando el teorema binomial (o simplemente moliéndolo)

a ^ 3 + 15 ab ^ 2 + sqrt (5) (a ^ 2 b + 5 b ^ 3) = 2 + sqrt (5)

Como ayb son racionales, y sqrt (5) no lo es, entonces, si hay una solución, podemos separar el coeficiente racional de sqrt (5);

a ^ 3 + 15 ab ^ 2 = 2

3 a ^ 2 b + 5 b ^ 3 = 1

No hay necesidad de ser inteligente; solo observe que una suma de 16 expresiones cúbicas es 2, y una suma de 8 de ellas es 1. ¿Qué tal hacer que todas sean 1/8? Entonces tenemos, bastante sutilmente,

a ^ 3 = a ^ 2b = ab ^ 2 = b ^ 3 = 1/8; a = 1/2, b = 1/2 lo hará.

Luego tenemos ((1 + sqrt (5)) / 2) ^ 3 = 2 + sqrt (5).

Existen varios resultados útiles sobre raíces racionales que limitarán lo difícil que es buscar soluciones.

Fácil

Tenemos

[matemáticas] (a + b \ sqrt {5}) ^ 3 = 2 + \ sqrt {5} [/ matemáticas]

Pero

[matemáticas] \ begin {align} (a + b \ sqrt {5}) & = a ^ 3 + 3a ^ 2b \ sqrt {5} + 3ab ^ 2 (5) + b ^ 3 \ sqrt {5} ^ 3 \\ & = a ^ 3 + 15ab ^ 2 + \ sqrt {5} (3a ^ 2b + 5b ^ 3) \\ & = a ^ 3 + 15ab ^ 2 + \ sqrt {5} (3a ^ 2b + 5b ^ 3) \ end {align} [/ math]

Entonces tenemos

[matemática] \ begin {cases} a ^ 3 + 15ab ^ 2 = 2 \\ 5b ^ 3 + 3a ^ 2b = 1 \ end {cases} [/ math]

Por lo tanto

[matemáticas] a ^ 3 + 15ab ^ 2-10b ^ 3-6a ^ 2b = 0 [/ matemáticas]

[matemáticas] b ^ 3 (\ frac {a} {b} ^ 3 + 15 \ frac {a} {b} – 10 – 6 \ frac {a ^ 2} {b ^ 2}) = 0 [/ matemáticas]

[matemáticas] (\ frac {a} {b} -1) (\ frac {a} {b} ^ 2 -5 \ frac {a} {b} +10) = 0 [/ matemáticas]

El valor mínimo sobre [math] \ mathbb R [/ math] de

[matemáticas] \ frac {a} {b} ^ 2 -5 \ frac {a} {b} +10 [/ matemáticas]

es para

[matemáticas] \ frac {d} {d \ frac {a} {b}} \ frac {a} {b} ^ 2 -5 \ frac {a} {b} +10 = 0 [/ matemáticas]

[matemáticas] 2 \ frac {a} {b} – 5 = 0 [/ matemáticas]

[matemáticas] \ frac {a} {b} = \ frac {5} {2} [/ matemáticas]

Cuando

[matemáticas] \ frac {a} {b} ^ 2 -5 \ frac {a} {b} +10 = \ frac {25} {4} – \ frac {25} {2} + 10 = \ frac {25 -50 + 40} {4} = \ frac {15} {4} \ gt 0 [/ matemática]

Entonces la única solución es

[matemáticas] \ frac {a} {b} = 1 \ Leftrightarrow a = b [/ matemáticas]

Entonces tenemos

[matemáticas] 5a ^ 3 + 3a ^ 3 = 1 \ Leftrightarrow 8a ^ 3 = 1 \ Leftrightarrow a ^ 3 = \ frac {1} {8} \ Leftrightarrow a = \ frac {1} {2} [/ math]

(como hemos establecido que [math] (a, b) \ in \ mathbb Q ^ 2) [/ math]

Y entonces

[matemáticas] \ sqrt [3] {2+ \ sqrt {5}} = \ frac {1} {2} + \ frac {1} {2} \ sqrt {5} = \ phi [/ matemáticas]

More Interesting

Matemática Aplicada: ¿Por qué la transformación de Laplace convierte la convolución en multiplicación?

Cómo saber si su idea (con respecto a las matemáticas) ya ha sido descubierta

Si cubre la tierra con billetes de un dólar (6.14 × 2.16 pulgadas) y luego los alinea, de extremo a extremo, ¿hasta dónde se extendería la línea (intente adivinar antes de calcular la respuesta)?

Quiero comenzar las matemáticas desde cero. ¿Con qué debo comenzar? ¿En qué orden debo estudiar las diversas ramas de las matemáticas?

Cómo superar la depresión por mi falta de habilidades matemáticas

¿Por qué no más personas acompañan las fórmulas matemáticas con explicaciones de lo que significan las variables y ejemplos de cómo ingresar valores en esas fórmulas?

¿Cuáles son los requisitos previos para comprender 'Una teoría matemática de la comunicación' de Claude Shannon?

¿Cuáles son algunos buenos trucos de magia avanzados basados ​​en matemática o lógica como el Truco de cartas Fitch Cheney?

¿Qué significa el símbolo matemático | ->?

¿Se puede realizar cada grupo como el grupo de homeomorfismo de algún espacio topológico?

¿Cuál es el significado de 'ratio' en matemáticas?

¿Hay un par más grande de primos gemelos?

Cómo entrenar a tu cerebro para hacer cálculos mentales como este

¿Cómo debo autoaprender el material que se obtendría en un buen programa de pregrado en matemáticas?

¿Las matemáticas van a ser aún más avanzadas? Si es así, ¿cómo?