Cómo encontrar puntos de extrema de $f(x)=\cos x+ \cos\left(\sqrt{2}x\right)$
tenemos %#% $ #%
$$f'(x)=-\sin x - \sqrt{2}\sin\left(\sqrt{2}x \right)=0 \tag{1}$ es una de las soluciones en que $x=0$ alcanza máximo local desde
$f$$$f''(x)=-\left(\cos x+2 \cos\left(\sqrt{2}x\right)\right)$f''(0) \lt 0$
¿Pero $ we have$ tiene infinitas soluciones de derecha, para comprobar que sean puntos de Local máximos y mínimos?