FILOSOFIA MATEMATICA

Si me pidieran demostrar la siguiente igualdad sería una tarea interesante y hasta cierto punto fácil y
divertido…

𝑥 + √𝑥 2 − 𝑦 √𝑥 − √𝑥 2 − 𝑦
√𝑥 + √𝑦 = √ +
2 2

Vamos a representar esta igualdad de manera general: Sea 𝑓(𝑥, 𝑦) = √𝑥 + √𝑦 y

𝑥+√𝑥 2 −𝑦 𝑥−√𝑥 2 −𝑦
𝑔(𝑥, 𝑦) = √ +√ Entonces se tiene:
2 2

𝑓(𝑥, 𝑦) = 𝑔(𝑥, 𝑦)

A continuación presento una demostración con la siguiente imagen:

Pues bien ahora consideremos la siguiente expresión:

 3 6𝑥 2 𝑦−𝑥 4 −9𝑦 2 3 3𝑥𝑦−𝑥 3 𝑥
ℎ(𝑥, 𝑦) = √ + √ − Esta función Ud. Puede comprobar que es la
27𝑥 27 3
𝑦2
solución de la siguiente ecuación cúbica particular: 𝑧 3 + 𝑥𝑧 2 + 𝑦𝑧 + 3𝑥 = 0 (1) es decir z=h. (en
este caso x e y serían los coeficientes de la ecuación cúbica de la forma dada.) Esta función
sale de la fórmula publicada por Cardano y desarrollada por Tartaglia en el año 1545,
reemplazando los coeficientes en dicha fórmula y simplificando a su mínima expresión.

Ahora bien; qué con esto? Resulta ser que yo descubro (desarrollo) lo siguiente:
Existe otra función llámese 𝑞(𝑥, 𝑦) que es solución de la ecuación cúbica (1) y por ende
ℎ(𝑥, 𝑦) = 𝑞(𝑥, 𝑦).
Ahora otra pregunta sería, es posible pasarse algebraicamente de h a q o viceversa como en
el caso de las funciones f y g arriba mencionadas aplicando técnicas algebraicas como se ve en
la demostración?
Comparto la forma de q y Ud. Puede hacer la verificación numérica dando valores reales a x e
y y reemplazando en las funciones solución h y q correspondientes.
𝑦
𝑞(𝑥, 𝑦) = 3
√𝑥(𝑥 2 − 3𝑦) − 𝑥

Obviamente sino existe manera algebraica de pasar de h a q entonces diríamos que h y q son
diferentes en su forma pero iguales en el fondo.
Esta afirmación es la que necesito que me den su criterio por eso si encuentran una manera
algebraica de pasar de h a q sería decir que q es la forma simplificada de h o bien de q a h
expandiendo q …
Esta equivalencia la encontré haciendo mis estudios sobre la ecuación cúbica, este es un caso
particular para ilustrar el caso general (𝑧 3 + 𝑥𝑧 2 + 𝑦𝑧 + 𝑤 = 0) Donde también se puede
verificar de manera numérica la igualdad entre la fórmula gral. Ya publicada y la encontrada
por mí.
@phaheart twitter
Espero sus comentarios.