использовано определение угла между прямой и плоскостью, признак перпендикулярности плоскостей, теорема Пифагора