f<(x) : =2x2+2x+a ist auf ganz R differenzierbar wegen Faktorregel, Summenregel und weil Potenzfunktionen und konstante Funktionen differenzierbar sind. Oder kurz gesagt weil ganzrationale Funktionen auf ganz R differenzierbar sind.
Insbesondere ist f<(x) für alle x<3 differenzierbar.
f>(x) : =2x3+bx2−5x−5 ist auf ganz R differenzierbar weil ganzrationale Funktionen auf ganz R differenzierbar sind.
Insbesondere ist f>(x) für alle x>3 differenzierbar.
Also ist f(x) für alle x<3 und für alle x>3 differenzierbar.
Es bleibt noch zu prüfen, ob f(x) auch an der Stelle x=3 differenzierbar ist.
f(x) ist an der Stelle x=3 differenzierbar, wenn der Differenzenquotient
hf(3+h)−f(3)
einen Grenzwert für h→0 hat (laut Definition der Differenzierbnarkeit).
Der Grenzwert existiert, wenn linksseitiger und rechtseitiger Grenzwert existieren und übereinstimmen (da gibt es einen Satz, der das besagt).
Linksseitiger Grenzwert ist f<′(3), rechtsseitiger ist f>′(3); weil ganzrationale Funktionen auf ganz R differenzierbar sind.
f(x) ist also bei x=3 differenzierbar, wenn
f<′(3)=f>′(3)
ist.