Пусть треугольники не равны. Отсюда следует, что одновременно. Иначе треугольники были бы равны по первому признаку.
Пусть Δ A1B1C2 – треугольник, равный Δ ABC, у которого вершина C2 лежит в одной полуплоскости с вершиной C1 относительно прямой A1B1. По предположению вершины C1 и C2 не совпадают. Пусть D – середина отрезка C1C2. Треугольники A1C1C2 и B1C1C2 – равнобедренные с общим основанием C1C2. Поэтому их медианы A1Dи B1D являются высотами. Значит, прямые A1D и B1D перпендикулярны прямой C1C2. A1D и B1D имеют разные точки A1 и B1, следовательно, не совпадают. Но через точкуD прямой C1C2 можно провести только одну перпендикулярную ей прямую. Мы пришли к противоречию. Теорема доказана.
Пусть треугольники не равны. Отсюда следует, что одновременно. Иначе треугольники были бы равны по первому признаку.
Пусть Δ A1B1C2 – треугольник, равный Δ ABC, у которого вершина C2 лежит в одной полуплоскости с вершиной C1 относительно прямой A1B1. По предположению вершины C1 и C2 не совпадают. Пусть D – середина отрезка C1C2. Треугольники A1C1C2 и B1C1C2 – равнобедренные с общим основанием C1C2. Поэтому их медианы A1Dи B1D являются высотами. Значит, прямые A1D и B1D перпендикулярны прямой C1C2. A1D и B1D имеют разные точки A1 и B1, следовательно, не совпадают. Но через точкуD прямой C1C2 можно провести только одну перпендикулярную ей прямую. Мы пришли к противоречию. Теорема доказана.
Ось X - AB
Ось Y - AD
Ось Z - AA1
Уравнение плоскости ABC
z=0
Координаты точек
K(0;a/2;0)
L(a/3;a;0)
D1(0;a;a)
Направляющий вектор KL (a/3;a/2;0)
длина KL = a√(1/9+1/4)=a√13/6
Направляющий вектор D1K(0; -a/2; -a)
расстояние от D1 до KL - Высота сечения =
|| i j k ||
|| 0 -a/2 -a || /(√13/6) = a √(19/13)
||a/3 a/2 0 ||
Площадь сечения половина основания на высоту
S=a^2 *√19/12
Уравнение плоскости KLD1
mx+ny+pz+q=0
подставляем координаты точек
an/2+q=0
am/3+an+q=0
an+ap+q=0
Пусть n=2 тогда q = -a m= -3 p= -1
-3x+2y-z-a=0
косинус угла между KLD1 и ABC
cos a = 1/1/√(9+4+1)=1/√14