A propósito del la pregunta planteada por electron en
https://foro.rinconmatematico.com/index.php?topic=126048.0 me surge el buscar condiciones necesarias y suficientes en \( n \) para que la igualdad \( \sqrt[ ]{a}+\sqrt[ ]{b} = \sqrt[ ]{n} \) tenga solución en \( \mathbb{N^+} \) esto es:
Condiciones en \( n\in{\mathbb{N^+}} \) para que existan \( a,b\in{\mathbb{N^+}} \) tal que \( \sqrt[ ]{a}+\sqrt[ ]{b}=\sqrt[ ]{n} \)
Una condición suficiente es que en la descomposición de \( n \) en factores primos, se repita alguno de éstos. Siguiendo el hilo de la demostración planteada por ani_pascual en su repuesta#2 tendremos que si \( n=q·q·m \) entonces debe ser \( \sqrt[ ]{a}+\sqrt[ ]{b}=\sqrt[ ]{q·q·m}=q·\sqrt[ ]{m} \) y si descomponemos \( q \) como suma de enteros positivos \( q=r+s \), tomando \( a=r^2·m, b=s^2·m \) se tendrá \( \sqrt[ ]{a}+\sqrt[ ]{b}=\sqrt[ ]{n} \). Creo que esta condición también es necesaria pero no logro demostrarlo.
Saludos