Originariamente inviato da MItaly
Se aggiungi l'ipotesi che oltre che continua f sia anche derivabile, la questione diventa semplice:
se x è un punto di massimo relativo, f'(x)=0 e f''(x)<0.
Dalla formula di derivazione della funzione composta, per g(x) abbiamo
e dato che f'(x)=0, g'(x)=0, quindi x resta un estremante anche per g
Derivando nuovamente,
Dal momento che f'(x)=0, g''(x) si riduce a
(f(x))^2 è sicuramente positivo, f''(x) è negativo per ipotesi, e dunque g''(x) è positivo per via del meno. Dunque è sicuramente un minimo relativo.
Nota bene: tutto questo naturalmente se f(x) non è zero, nel qual caso la g(x) diverge e succedono altre malvagità (forse c'è qualche speranza che non diverga tutto, ma se c'è dipende dalla f).
In ogni caso, nell'ipotesi che f(x), oltre ad essere continua, non assuma mai il valore 0 su tutto [a, b], g(x) sarà continua su [a, b], dato che 1/x preserva la continuità salvo che nel punto zero.