2. Каким образом ещё можно получить тот же результат?
Поворотом на 180 градусов вокруг начальной точки данного вектора
Параллельным переносом на противоположный вектор
Симметрией относительно прямой, на которой лежит данный вектор
Поворотом на 180 градусов вокруг конечной точки данного вектора
Выполненный параллельный перенос на данный вектор — единственное возможное движение
Симметрией относительно конечной точки данного вектора
Поворотом на −180 градусов вокруг конечной точки данного вектора
ВК=BD*sin(BDA)
С другой стороны, AD = AC / 2 = BD / cos(BDA) => AC = 2 * BD / cos(BDA)
Площадь S треугольника АВС:
S = ВК*АС / 2 = ВК*АD = BD*sin(BDA) * BD / cos(BDA) = BD^2 * tg(BDA)
tg(BDA) = S / BD^2; 1 / cos(BDA) = корень (1 + tg^2(BDA)) = корень (1 + S^2 / BD^4)
Таким образом,
AC = 2 * BD / cos(BDA) = 2 * BD * корень (1 + S^2 / BD^4)
АС = 2 * 3 * корень (1 + 12^2 / 3^4) = 6 * корень (1 + 144 / 81) = 6 * корень (225 / 81) = 6 * 15 / 9 = 10.
Из равенства внутренних накрест лежащих углов следует равенство соответственных углов, и наоборот. Допустим, у нас есть две параллельные прямые (так как по условию внутренние накрест лежащие углы равны) и секущая, которые образуют углы 1, 2, 3. Углы 1 и 2 равны как внутренние накрест лежащие. А углы 2 и 3 равны как вертикальные. Получаем: ∠∠1 = ∠∠2 и ∠∠2 = ∠∠3. По свойству транзитивности знака равенства следует, что ∠∠1 = ∠∠3. Аналогично доказывается и обратное утверждение.
Отсюда получается признак параллельности прямых по соответственным углам. Именно: прямые параллельны, если соответственные углы равны. Что и требовалось доказать.