574 Докажите, что: а) h = \frac{ab}{c}; б) \frac{a}{a_c} = \frac{b}{b_c}.

Решение:

а) Докажем, что h = \(\frac{ab}{c}\).

Рассмотрим прямоугольный треугольник ABC с прямым углом C. Пусть a и b - катеты, c - гипотенуза, h - высота, проведенная из вершины C к гипотенузе.

Площадь треугольника ABC можно выразить двумя способами:

1. Через катеты: S = \(\frac{1}{2}ab\)
2. Через гипотенузу и высоту: S = \(\frac{1}{2}ch\)

Приравниваем оба выражения для площади:

\(\frac{1}{2}ab = \frac{1}{2}ch\)

Умножаем обе части на 2:

\(ab = ch\)

Делим обе части на c:

\(h = \frac{ab}{c}\)

Что и требовалось доказать.

б) Докажем, что \(\frac{a}{a_c} = \frac{b}{b_c}\).

Пусть \(a_c\) - проекция катета a на гипотенузу c, а \(b_c\) - проекция катета b на гипотенузу c.

Рассмотрим прямоугольный треугольник ABC и высоту CH, опущенную из прямого угла C на гипотенузу AB.

Треугольник ABC подобен треугольнику ACH (по двум углам: прямой угол и общий угол A).

Треугольник ABC подобен треугольнику CBH (по двум углам: прямой угол и общий угол B).

Из подобия треугольников ABC и ACH следует:

\(\frac{a}{b_c} = \frac{c}{a}\), где a - гипотенуза в треугольнике ACH

Из подобия треугольников ABC и CBH следует:

\(\frac{b}{a_c} = \frac{c}{b}\), где b - гипотенуза в треугольнике BCH

Из первого равенства выражаем \(b_c\):

\(b_c = \frac{a^2}{c}\)

Из второго равенства выражаем \(a_c\):

\(a_c = \frac{b^2}{c}\)

Теперь рассмотрим отношение \(\frac{a}{a_c}\) и \(\frac{b}{b_c}\):

\(\frac{a}{a_c} = \frac{a}{\frac{b^2}{c}} = \frac{ac}{b^2}\)

\(\frac{b}{b_c} = \frac{b}{\frac{a^2}{c}} = \frac{bc}{a^2}\)

Мы должны доказать, что \(\frac{a}{a_c} = \frac{b}{b_c}\), то есть \(\frac{ac}{b^2} = \frac{bc}{a^2}\).

Преобразуем это равенство:

\(a^3c = b^3c\)

\(a^3 = b^3\)

Это равенство не всегда верно, поэтому исходное утверждение \(\frac{a}{a_c} = \frac{b}{b_c}\) не всегда верно.

Однако, если рассматривать подобие треугольников ACH и CBH, то:

\(\frac{AC}{CH} = \frac{CH}{BH}\), то есть \(\frac{b}{h_b} = \frac{h_b}{a}\)

Но это не приводит к доказываемому тождеству.

Рассмотрим другой подход. Из подобия треугольников ABC и ACH следует, что \(\frac{a}{c} = \frac{h_a}{a}\) где h_a катет ACH. Из подобия треугольников ABC и CBH следует, что \(\frac{b}{c} = \frac{h_b}{b}\) где h_b катет CBH. Т.к. гипотенуза треугольника ACH это b_с, а гипотенуза треугольника CBH это a_c, следовательно, получим \(\frac{a}{c} = \frac{b_c}{a}\) и \(\frac{b}{c} = \frac{a_c}{b}\).

Отсюда \(b_c = \frac{a^2}{c}\) и \(a_c = \frac{b^2}{c}\).

Тогда \(\frac{a}{a_c} = \frac{a}{\frac{b^2}{c}} = \frac{ac}{b^2}\), а \(\frac{b}{b_c} = \frac{b}{\frac{a^2}{c}} = \frac{bc}{a^2}\).

Тогда нужно доказать, что \(\frac{ac}{b^2} = \frac{bc}{a^2}\), или \(a^3 = b^3\), что не всегда так. Однако, условие дано неверно. Правильное условие \(\frac{a_c}{a} = \frac{b_c}{b}\). Доказательство: Из подобия треугольников ABC и ACH следует \(\frac{b}{c} = \frac{a_c}{b}\). Из подобия треугольников ABC и BCH следует \(\frac{a}{c} = \frac{b_c}{a}\). Получаем \(a_c = \frac{b^2}{c}\), а \(b_c = \frac{a^2}{c}\).

Тогда \(\frac{a_c}{a} = \frac{\frac{b^2}{c}}{a} = \frac{b^2}{ac}\), а \(\frac{b_c}{b} = \frac{\frac{a^2}{c}}{b} = \frac{a^2}{bc}\).

Доказать нужно, что \(\frac{b^2}{ac} = \frac{a^2}{bc}\), т.е. \(b^3 = a^3\), что опять неверно. Вероятно, исходная задача содержит опечатку, и нужно доказать, что \(\frac{a}{b_c}=\frac{b}{a_c}\). Это верно, поскольку \(b_c=\frac{a^2}{c}\) и \(a_c = \frac{b^2}{c}\). Тогда \(\frac{a}{b_c} = \frac{a}{\frac{a^2}{c}} = \frac{c}{a}\), а \(\frac{b}{a_c} = \frac{b}{\frac{b^2}{c}} = \frac{c}{b}\). Следовательно должно выполнятся равенство \(\frac{c}{a} = \frac{c}{b}\), т.е. a = b. Доказать, что \(\frac{a}{a_c}=\frac{b}{b_c}\): \(\frac{a}{a_c} = \frac{a}{\frac{b^2}{c}} = \frac{ac}{b^2}\). \(\frac{b}{b_c} = \frac{b}{\frac{a^2}{c}} = \frac{bc}{a^2}\). Нужно доказать, что \(\frac{ac}{b^2} = \frac{bc}{a^2}\), что возможно, только если a=b.

Ответ: а) \(h = \frac{ab}{c}\), б) доказать, что \(\frac{a}{a_c} = \frac{b}{b_c}\) можно, только если a = b.