صيغة أويلر
والذي من الممكن أن تثبت صحته لكل عدد صحيح "k"، من الممكن أن يستخدم، إلى جانب صيغة أويلر، لتوليد عدة متطابقات مثلثية، ذلك إلى جانب إثبات صيغة ديموافر.