x↦x2 ist als ganzrationale Funktion auf ganz R differenzierbar.
x↦2x−1 ist als ganzrationale Funktion auf ganz R differenzierbar.
f1 ist deshalb auf (−∞,2]∖{1} differenzierbar.
f1 ist auch bei 1 differenzierbar, wenn x↦x2 und x↦2x−1 dort den gleichen Funktionswert und die gleiche Ableitung haben.