Konvex és monoton függvényekröl. Über monotone konvexe Funktionen. (Q1440039)

Deutscher Auszug: ``Die Funktion \(f(x)\) sei in einem gewissen Intervalle von oben nicht konkav, d.~h. erfülle die Funktionalungleichung \[ 2f\left(\frac{x_1+x_2}2\right)\geqq f(x_1)+f(x_2). \leqno(1) \] Ist \(\vartheta\) eine rationale Zahl zwischen 0 und 1, so folgt aus (1): \[ f[x_1+\vartheta(x_2-x_1)]\geqq f(x_1)+\vartheta[f(x_2)-f(x_1)] \quad (x_1<x_2,\;0<\vartheta<1). \leqno(2) \] Es werde nun weiter vorausgesetzt, daß \(f(x)\) \textit{monoton} ist. Auf indirektem Wege erweist sich dann als evident, daß (2) auch für \textit{irrationelle} \(\vartheta\) gilt. In dieser Arbeit wird das \textit{direkt} bewiesen. Es wird gezeigt, daß durch eine ähnliche Schlußweise die folgenden elementargeometrischen Sätze \textit{unabhängig vom Parallelenaxiom} direkt bewiesen werden können: Es seien \(ABC\) und \(A'B'C'\) rechtwinklige Dreiecke mit \(\sphericalangle C=\sphericalangle C'={}\)rechter Winkel. Die erwähnten Sätze lauten: \newline 1. Ist \(\overline{AB}=\overline{A'B'}\) und \(\sphericalangle A<\sphericalangle A'\), so gilt \[ \sphericalangle A':\sphericalangle A>\overline{B'C'}:\overline{BC}. \] 2. Ist \(\overline{BC}=\overline{B'C'}\) und \(\overline{CA}<\overline{C'A'}\), so gilt \[ \overline{C'A'}:\overline{CA}>\sphericalangle B':\sphericalangle B. \] Aus diesen folgen gewisse Sätze über die Umfänge von Vielecken, die einem Kreise ein- bzw. umgeschrieben sind.'' (IV~3~C.)