Я вдруг осознал очевидный факт - нам вообще не нужно переходить к тригонометрическим многочленам. Для мотивации это хорошо, но уже зная формулы урниверсальной подстановки мы же можем попросту перевести x и y в две соответствующие дроби от какой-то переменной z и дальше просто проверять, что это даёт эпиморфизм на C(z), у которого ядро - идеал (x^2 + y^2 - 1). Тогда всё можно сделать ни разу не сославшись на тригонометрические функции (тем более, что доказывать изоморфность тригонометрических многочленов чему-нибудь, на мой взгляд, не проще).