Основное тригонометрическое тождество — соотношение , выполняющееся для произвольного значения [1]. Основное тригонометрическое тождество представляет собой запись теоремы Пифагора для треугольника в тригонометрическом круге; длины катетов этого треугольника по модулю равны соответствующим синусу и косинусу, а гипотенуза, будучи радиусом тригонометрического круга, равна единице[2].
Единичная окружность с центром в начале координат определяется уравнением [3]. Пускай на окружности лежит точка, расположенная под углом от оси абсцисс. Тогда координаты этой точки: . Соответственно исходя из уравнения окружности получаем: [4].
Используя прямоугольный треугольник
По определению, синус это отношение противоположного катета к гипотенузе, косинус — отношение прилегающего катета к гипотенузе. В прямоугольном треугольнике с катетами и гипотенузой получаем: