Основное тригонометрическое тождество доказано сейчас для угла а, такого, что 0<а<180. А для какого угла оно было доказано в курсе геометрии 8 класса

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