صيغة أويلر
فيما يلي برهان صيغة أويلر باستخدام مفكوك متسلسلة القوى بالإضافة إلى حقائق أساسية عن رفع الوحدة التخيلية "i" لأي أس: