1) аксиомы и следствия из них
2) взаимное расположение прямых в
пространстве
3) признак параллельности прямых
4) признак скрещивающихся прямых
5) угол между прямыми
6) взаимное расположение прямой и
плоскости
7) признак параллельности прямой и
плоскости
8) определение перпендикулярных прямых. лемма по перпендикулярности
9) определение прямой препендикулярной плоскости
10) признак перпендикулярности прямой и плоскости
11) наклонная перпендикуляр-проекция
12) торемма о трех перпендикулярпх
13) угол между прямой и плоскостью
Теперь надо построить хорду C1D1, симметричную CD относительно OY; ясно, что она параллельна CD и перпендикулярна AB, ясно, что C1D1 = CD; и вообще - CDD1C1 это прямоугольник. Что означает, что CD1 - диаметр.
Поскольку при зеркальном отражении относительно OY точка A переходит в B, а точка D - в точку D1, то BD = AD1; (по определению равенства фигур, между прочим).
Остается заметить, что, раз CD1 - диаметр, то треугольник ACD1 - прямоугольный, и записать для него теорему Пифагора.