Допустим: b не лежит в альфа, тогда b пересекает альфа в точке А. Т.к. b параллельна a (по условию), то и а пересекает альфа (по т. Лемма), но по условию а параллельна альфа, значит они не имеют общих точек (противоречие условию), тогда а не пересекает альфа. Значит b лежит в альфа
Впрочем, можно AC(1)^2=a^2+a^2+a^2 => AC=AV3 , где V - корень, и на два поделить.
АС(1) - диагональ (радиус = АС(1):2)