Рассмотрим треугольники АВС и АОД
ВС<АД в 2 раза следовательно треугольник ВСО в 2 раза меньше чем АОД. значит АО=6, т.к. ОС <АО в 2 раза.
Треугольник прямоугольный или нет? как то так
Находим координаты векторов АС и ВС по разности одноименных координат точек:
<span><span>Вектор a = ВС 0
0
2,
</span><span><span>
Вектор c = АС </span>
0
2 0.
</span></span><span><span /><span><span>
Скалярное
произведение а*c=ВС*АС
</span><span><span>a · c = ax · cx + ay · cy + az · cz</span> =
</span><span>= 0
+
0
+
0
=
0 .
</span></span></span><span>
Модуль а . c = </span>√((0²+ 0²+ 2²)*(0²+ 2² + 0²)) = 4.
<span><span /><span><span>
cos a_c = 0 / 4 =0,
</span><span><(a_c)= arc cos 0 = 1.5708 радиан = </span><span> 90</span></span></span>°.
Рассмотрим треугольники АВС и А1В1С1, у которых АВ=А1В1, угол А= углу А1, угол В=углу В1. Докажем, что треугольник АВС=треугольнику А1В1С1.
<span>Наложим треугольник АВС на треугольник А1В1С1, так, чтобы вершина А совместилась с вершиноу А1, сторона АВ совместилась с равной ей стороной А1В1, а вершины С и С1 оказались по одну сторону от прямой А1В1. </span>
<span>Так как угол А= углу А1 и угол В=углу В1, то сторона АС наложится на луч А1С1, а сторона ВС- на луч В1С1. Поэтому вершина С - общая точка сторон АС и ВС - окажется лежащей как на луче А1С1, так и на луче В1С1 и, следовательно, совместятся с общей точкой этих лучей - вершиной С. Значит совместятся стороны АС и А1С1, АС и В1С1. </span>
<span>Итак, треугольник АВС и А1В1С1 полностью совместятся, поэтому они равны. Теорема доказана.</span>