Let f : [0, 1] → [0, ∞) be strictly increasing and continuous. Let R be the region in the
xy-plane bounded by x = 0, x = 1, y = 0, and y = f (x). Let x1 be the x-coordinate
of the centroid of R. Let x2 be the x-coordinate of the centroid of the solid generated
by rotating R about the x-axis. Prove that x1 < x2.
Чтобы доказать, что \(x_1 < x_2\), мы можем рассмотреть два подхода: прямое алгебраическое доказательство с использованием двойных интегралов и элегантное геометрическое доказательство на основе перераспределения масс.
### 1. Формулы для координат центроидов
Пусть \(R\) — плоская область в плоскости \(xy\), ограниченная линиями \(x=0\), \(x=1\), \(y=0\) и \(y=f(x)\). Поскольку функция \(f\) непрерывна, строго возрастает и принимает значения в \([0, \infty)\), значение \(f(x)\) положительно на полуинтервале \((0, 1]\). Следовательно, площадь области \(R\) строго положительна:
\[A = \int_0^1 f(x) \, dx > 0\]
Координата \(x_1\) центроида плоской фигуры \(R\) задается формулой:
\[x_1 = \frac{\int_0^1 x f(x) \, dx}{\int_0^1 f(x) \, dx}\]
Тело вращения \(S\) образуется путем вращения области \(R\) вокруг оси \(x\). Используя метод дисков, площадь поперечного сечения в любой точке \(x \in [0,1]\) представляет собой круг радиуса \(f(x)\) с площадью \(\pi f(x)^2\). Объем тела \(S\) равен:
\[V = \int_0^1 \pi f(x)^2 \, dx > 0\]
Координата \(x_2\) центроида тела вращения \(S\) определяется как:
\[x_2 = \frac{\int_0^1 \pi x f(x)^2 \, dx}{\int_0^1 \pi f(x)^2 \, dx} = \frac{\int_0^1 x f(x)^2 \, dx}{\int_0^1 f(x)^2 \, dx}\]
Мы хотим доказать, что \(x_1 < x_2\), что эквивалентно неравенству:
\[\frac{\int_0^1 x f(x) \, dx}{\int_0^1 f(x) \, dx} < \frac{\int_0^1 x f(x)^2 \, dx}{\int_0^1 f(x)^2 \, dx}\]
### 2. Алгебраический метод (двойные интегралы)
Поскольку оба знаменателя в дробях строго положительны, мы можем перемножить их крест-накрест. Неравенство \(x_1 < x_2\) эквивалентно тому, что следующая разность \(D\) строго больше нуля:
\[D = \left(\int_0^1 x f(x)^2 \, dx\right) \left(\int_0^1 f(y) \, dy\right) - \left(\int_0^1 x f(x) \, dx\right) \left(\int_0^1 f(y)^2 \, dy\right) > 0\]
Запишем эту разность в виде двойного интеграла по единичному квадрату \([0, 1] \times [0, 1]\):
\[D = \int_0^1 \int_0^1 x f(x)^2 f(y) \, dx \, dy - \int_0^1 \int_0^1 x f(x) f(y)^2 \, dx \, dy\]
\[D = \int_0^1 \int_0^1 x f(x) f(y) \left[ f(x) - f(y) \right] \, dx \, dy\]
Меняя местами переменные интегрирования \(x \leftrightarrow y\) (что не меняет значение интеграла), мы получаем второе выражение для той же величины \(D\):
\[D = \int_0^1 \int_0^1 y f(y) f(x) \left[ f(y) - f(x) \right] \, dy \, dx\]
\[D = \int_0^1 \int_0^1 -y f(x) f(y) \left[ f(x) - f(y) \right] \, dx \, dy\]
Сложив эти два эквивалентных выражения для \(D\), мы получаем:
\[2D = \int_0^1 \int_0^1 (x - y) f(x) f(y) \left[ f(x) - f(y) \right] \, dx \, dy\]
Проанализируем знак подынтегральной функции \(H(x, y) = (x - y) f(x) f(y) [f(x) - f(y)]\). Так как функция \(f\) строго возрастает на \([0,1]\):
* Если \(x > y\), то \(x - y > 0\) и \(f(x) > f(y)\), то есть \(f(x) - f(y) > 0\). Поскольку \(f(x) \ge 0\) и \(f(y) \ge 0\), произведение \(H(x, y)\) неотрицательно.
* Если \(x < y\), то \(x - y < 0\) и \(f(x) < f(y)\), то есть \(f(x) - f(y) < 0\). Произведение двух отрицательных сомножителей также дает положительное число, поэтому \(H(x, y)\) неотрицательно.
* Если \(x = y\), то \(H(x, y) = 0\).
Таким образом, \(H(x, y) \ge 0\) для всех точек \((x,y) \in [0,1]^2\). Более того, поскольку \(f(x)\) строго возрастает и непрерывна, \(f(x) > 0\) на всем интервале \((0,1]\). Это значит, что \(H(x, y) > 0\) всюду на единичном квадрате, кроме линии \(x = y\) и границ \(x=0, y=0\), которые образуют множество меры нуль.
Интеграл от непрерывной неотрицательной функции, не равной тождественно нулю, строго положителен:
\[2D > 0 \implies D > 0\]
Это доказывает, что \(x_1 < x_2\).
### 3. Геометрический метод (перераспределение масс)
Мы также можем применить физическую интуицию, сравнив центры тяжести родственных трехмерных тел.
Рассмотрим трехмерное тело (призму) \(S_1\) в пространстве \(\mathbb{R}^3\), заданное как:
\[S_1 = \left\{ (x, y, z) \in \mathbb{R}^3 : 0 \le x \le 1, \, 0 \le y \le f(x), \, 0 \le z \le f(x_1) \right\}\]
где \(x_1\) — это \(x\)-координата центроида исходной плоской фигуры \(R\). Поскольку каждое сечение тела \(S_1\), параллельное плоскости \(xy\), представляет собой точную копию фигуры \(R\), \(x\)-координата центра тяжести всего тела \(S_1\) в точности совпадает с координатой \(x_1\).
Теперь рассмотрим другое трехмерное тело \(S_2\), определяемое условием:
\[S_2 = \left\{ (x, y, z) \in \mathbb{R}^3 : 0 \le x \le 1, \, 0 \le y \le f(x), \, 0 \le z \le f(x) \right\}\]
Мы можем мысленно получить \(S_2\) из тела \(S_1\), перераспределив его массу:
* Мы убираем ту часть объема \(S_1\), где \(z > f(x)\). Поскольку функция \(f\) строго возрастает, условие \(f(x) < f(x_1)\) выполняется только при \(x < x_1\). То есть вся удаленная масса находилась слева от плоскости \(x = x_1\).
* Мы добавляем объем туда, где \(z \le f(x)\), но \(z > f(x_1)\). По монотонности функции \(f(x) > f(x_1)\) только при \(x > x_1\). Соответственно, вся добавленная масса располагается справа от плоскости \(x = x_1\).
Поскольку мы убрали часть массы слева от плоскости \(x = x_1\) и добавили массу справа от нее, центр тяжести нового тела \(S_2\) должен сместиться вправо относительно \(x_1\):
\[x_1 < \text{centroid}_x(S_2)\]
Наконец, сравним сечения тела \(S_2\) и тела вращения \(S\), параллельные координатной плоскости \(yz\). Для любого фиксированного \(x \in [0,1]\):
* Сечение тела \(S_2\) представляет собой квадрат со стороной \(f(x)\) и площадью: \(\text{Area}_{S_2}(x) = f(x)^2\).
* Сечение тела вращения \(S\) представляет собой круг радиуса \(f(x)\) и площадью: \(\text{Area}_{S}(x) = \pi f(x)^2\).
Так как площадь сечения тела вращения \(S\) в каждой точке \(x\) ровно в \(\pi\) раз больше площади соответствующего сечения тела \(S_2\), координаты их центров тяжести по оси \(x\) должны полностью совпадать. Отсюда:
\[\text{centroid}_x(S_2) = x_2\]
Объединяя полученные результаты, приходим к требуемому выводу:
\[x_1 < x_2\]
Комментариев нет:
Отправить комментарий