no me cueste hacerlos..lo que me cuesta es hacerlos prolijos ( entendibles).

En el 1a] agregaría que entonces es posible encontrar un intervalo [a,b]/ xo€ [a,b]

I] f'(x) es continua en [a,b] porque es derivable en R.
II]f'(a)*f'(b) <0

Se cumplen las Hipotesis de Bolzano
Por lo tanto
Existe al menos un xo € (a,b) / f'(xo)=0 (pueden haber varios)

Como f'(xo)=0

Con el criterio del Signo de la derivada 1ra se puede afirmar que el mismo es un máximo Relativo/Local

bien ! estas afilado..