Основное тригонометрическое тождество доказано сейчас для угла а, такого, что 0<а<180. А для какого угла оно было доказано в курсе геометрии 8 класса
В восьмом классе это тождество было связано с прямоугольным треугольником, а в прямоугольным треугольнике градусные меры острых углов лежат в интервале (0;90) Значит для угла а, такого что 0<а<90.