Чтобы доказать данную теорему, начнем с формулировки. Пусть функции \( y = f(x) \) и \( y = g(x) \) определены на множестве \( X \), и наибольшее значение функции \( f(x) \) равно \( A \), а наименьшее значение функции \( g(x) \) также равно \( A \).
В соответствии с условием, это означает:
- \( f(x) \leq A \) для всех \( x \in X \), причем равенство \( f(x) = A \) достигается для хотя бы одного значения \( x_1 \in X \).
- \( g(x) \geq A \) для всех \( x \in X \), причем равенство \( g(x) = A \) также достигается для хотя бы одного значения \( x_2 \in X \).
Теперь рассмотрим уравнение \( f(x) = g(x) \) на множестве \( X \).
Для того чтобы уравнение \( f(x) = g(x) \) имело решение, необходимо, чтобы обе функции пересекались. Это значит, что на некотором \( x \) должно выполняться: \[ f(x) = g(x) \]
Однако по условиям теоремы, у нас есть:
- Если \( f(x) = A \), то для этого \( x \) должно выполняться \( g(x) \geq A \).
- Если \( g(x) = A \), то для этого \( x \) должно выполняться \( f(x) \leq A \).
Таким образом, существует такая точка \( x_0 \in X \), при которой \( f(x_0) = A \) и \( g(x_0) = A \). Это значит, что в этом случае: \[ f(x_0) = g(x_0) \]
Теперь рассмотрим системы уравнений: \[ \begin{cases} f(x) = A \\ g(x) = A \end{cases} \]
Если хотя бы одно из уравнений выполняется для некоторого \( x \), то оба уравнения будут равносторонними при \( f(x) = g(x) \) в точке \( x_0 \).
Следовательно, уравнение \( f(x) = g(x) \) эквивалентно системе уравнений, где обе функции равны \( A \) в одном и том же \( x \). Таким образом, мы приходим к выводу, что: \[ f(x) = g(x) \Leftrightarrow \begin{cases} f(x) = A \\ g(x) = A \end{cases} \]
Это завершает доказательство теоремы.
