Положим что окружность вписанная в треугольник ABC касается AB,BC,CA в точках N,M,X , аналогично окружность ACD касается CD,DA,CA в точках G,L,K по условию окружности касаются друг друга следовательно X=K. Тогда AX=AN, BN=BD, CD=CX тоже самое CG=CX , GD=LD, AL=AX тогда получим AB+CD=BC+AD (свойства описанного четырехугольника), теперь удобнее всего воспользоваться достаточным условием вписанности в четырехугольник окружности, оно гласит что в четырехугольник ABCD можно вписать окружность тогда, когда окружности вписанные в треугольники ABC и ADC или BCD и ABD касаются друг друга. Это можно доказать отдельно, если расписать все по отрезкам касательных и воспользоваться тем, что AB+CD=BC+AD.
Это можно доказать отдельно, если расписать все по отрезкам касательных и воспользоваться тем, что AB+CD=BC+AD.
D (0, 0, 0) DA | OY, DC | OX, DD1 | OZ
D (0, 0, 0), A1 (0, 1, 3), M (2, 0, 5/3)
Плоскость DA1M имеет вид ax + by + cz + d=0 если мы подставим координаты таких точек: D, A1, M, то получится так:
{a • 0 + b • 0 + c • 0 + d = 0
{a • 0 + b • 1 + c • 3 + d = 0
{a • 2 + b • 0 + c • (5/3) + d = 0
{d = 0
{b = - 3c
{a= - 5c/6
Поэтому отсюда вектор нормали имеет координаты: n(5/6, 3, -1)
Затем по формуле S (расстояние) от точки: D1(0, 0, 3) =:
l=|(5/6 • 0 + 3 • 0 - 3)|/sqrt ((5/6)^2 + 3^2 + (- 1)^2) = 18/sqrt(385).