El punto 2 es válido por sí mismo para demostrar que $e^{2x}$ (y, de hecho, $e^x$ ) son no negativo .
El hecho de que una exponencial sea no negativa en todas partes está inextricablemente ligado al hecho de que cuando duplicamos su argumento, ¡su valor se eleva al cuadrado!
Sin embargo, el punto 2 contiene un supuesto implícito: que $e^x$ , de verdad $x$ es un valor real (positivo o negativo, pero no complejo). Hay que indicarlo.
Supongamos que alguna función de valor real $f$ tiene la propiedad de que $f(2x) = {f(x)}^2$ sobre todos los reales $x$ . Puede $f(x)$ ¿es negativo? Claramente no, y es fácil de ver si reescribimos la relación como $f(x) = {f(x/2)}^2$ . Para todos los $x$ , $f(x)$ es el cuadrado de algún número real, por lo que debe ser no negativo.
La función $e^x$ es fácilmente identificable como tal $f$ .
Además, si tenemos una función $g$ tal que $g(x) = f(2x)$ entonces $g$ es sólo $f$ se redujo en un factor de dos, horizontalmente. Si $f$ es no negativo (o positivo), entonces $g$ también lo es, y viceversa, ya que la escala horizontal no tiene efecto alguno.
El punto 2, sin embargo, requiere argumentos adicionales a ese $e^x$ nunca es cero, y por lo tanto es positivo.