Рассмотрим треугольник OD₁C₁ он прямоугольный с гипотенузой ОС₁
Катет D₁C₁=а катет OD₁=½AD₁
Найдем AD₁ по Пифагору AD₁=√а²+а²=а√2
OD₁=½а√2
По Пифагору найдем длину ОС₁=√а²+(½а√2)²=√1,5а²=а√1,5
