Sur l'ensemble des points angulaires d'une courbe \(y = f(x)\). (Q1482610)

Es sei \(f(x)\) eine in dem endlichen oder unendlichen Intervall \((a, b)\) stetige Funktion. Dann nennt der Verf. Eckpunkt -- point angulaire -- jeden Punkt \(A(x_0, y_0), (a<x_0<b)\), der Kurve \(y=f(x), (a\leqq x \leqq b)\) der folgenden Bedingungen genügt: 1. Die Funktion \(y = f(x)\) hat für \(x = x_0\) eine rechtsseitige und eine linksseitige, bestimmte, endliche oder unendliche Ableitung \(f_+'(x_0)\), bzw. \(f_-'(x_0)\). 2. Die Werte dieser Ableitungen sind verschieden, d. h. \[ f_-'(x_0) \neq f_+'(x_0). \] Das Ziel der Untersuchung ist der Beweis des folgenden Satzes: Die Menge der Eckpunkte einer Kurve \(y = f(x)\) ist endlich oder abzählbar. Daraus folgt weiter: Wenn eine Funktion \(f(x)\) in jedem Punkte eine rechtsseitige und eine linksseitige Ableitung besitzt, dann ist die Menge der Punkte, in denen die Ableitung \(f'(x)\) nicht existiert, endlich oder abzählbar.