Tenga en cuenta que la igualdad se cumple para $a = 1$.
$
a^5 + 1 \geq a^3 + a^n \\
\implica un^5^3 \geq a^n - 1 \\
\implica un^3(a + 1)(a - 1) \geq a^n - 1
$
Caso 1: $a > 1$. A continuación,
$$
a^4 + a^3 \geq 1 + a + a^2 + \cdots + a^{n-1}
$$
Caso 2: $0 < a < 1$. A continuación,
$$
a^4 + a^3 \leq 1 + a + a^2 + \cdots + a^{n-1}
$$
Ahora, ambos casos es cierto para la $n = 2$ y, sin duda,$a = 1$.
Caso 2 no tiene por $n=1$:
$$
a^4+a^3 \leq 1.
$$
Deje $a = 1/x$ donde $x>1$. Entonces, la desigualdad se convierte en $f(x) = x^4 - x - 1 \geq 0$. Ahora, $f(x)$ es una curva que se abren hacia arriba, que es negativo en $x = 1$. Por lo tanto, $f(x)$ tiene una raíz real positiva, decir $\alpha > 1$. Esto significa que $f(x) < 0$ en el intervalo de $(1, \alpha)$, es decir, la desigualdad no tiene.
Caso 1 no tiene por $n=3$:
$
a^4+a^3 \geq 1 + a + a^2 \\
\implica un^4 + a^3 + a^2 + a + 1 \geq 2(1 + a + a^2) \\
\implica un^5 - 1 \geq 2(a^3 - 1) \\
\implica un^5 - 2a^3 + 1 \geq 0.
$
Ahora, $p(a) = a^5 - 2a^3 + 1$ tiene un mínimos en $a_0 = \sqrt{6/5}$ donde $p(a_0) = -0.05162... < 0$.
Caso 1 no tiene por $n = 4$:
$
a^4 + a^3 > 1 + a + a^2 + a^3 \\
\implica p(a) = a^3 - a^2 - 1 \geq 0.
$
Ahora, $q(a) \rightarrow \infty$$a \rightarrow \infty$, e $q(1) = -1$. Por lo tanto, si una raíz de $q(a)$$a_0 > 1$, $q(a)$ es negativa en el intervalo de $(1, a_0)$.
Caso 1 claramente no sostenga por $n>4$. Así, la desigualdad se cumple para toda la $\mathbb{R}^+$$n=2$.