صيغة أويلر

هذه المقالة هي عن صيغة اوبلر في التحليل المعقد. لصيغة اويلر في الطوبولوجيا الجبرية والتوافيق عديدة الوجوه، انظر خاصية اويلر. انظر أيضاً مواضيع بإسم اويلر.

  جزء من سلسلة مقالات عن
الثابت الرياضي، e

Euler's formula.svg

لوغاريتم طبيعي

التطبيقات في: الفائدة المركبة • متطابقة اويلر وصيغة اويلر  • نصف العمر والنمو/الانحلال الأسي

تعريف e: إثبات أن e غير كسرية  • تمثيلات e • مبرهنة ليندمان–ڤايرشتراس

شخصيات جون ناپييه  • ليونهارد اويلر

حدسية شانويل

صيغة اويلر تعرف بهذا الاسم نسبة إلى الرياضياتي ليونارد اويلر، وهي صيغة رياضية في التحليل المركب تحدد العلاقة الوثيقة بين الدوال المثلثية والدالة الأسية المركبة. تنص صيغة أويلر على أنه لأي عدد حقيقي x :

حيث e هو أساس اللوغاريتم الطبيعي، i هو الوحدة التخيلية، و cos ،sin هما دالتا الجيب وجيب التمام على التوالي، و x سعة العدد المركب بالتقدير الدائري، أحيانًا يشار إلى الدالة الأسية المركبة بالصورة (cis(x، هذه الصيغة صحيحة أيضًا في حال كان x عددًا مركبًا؛ ولذا فإن بعض الكتاب لا يزالون يشيرون إلى الصورة الأكثر تعميمًا بصيغة أويلر.[1]

ومن الجدير بالذكر أن ريتشارد فاينمان قد نعت صيغة اويلر قائلاً عنها: "جوهرتنا" و "واحدة من أبرز الصيغ وأكثرها إدهاشًا في كل الرياضيات".[2]

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

نبذة تاريخية

في عام 1702 لاحظ برنولي أن

وبما أن

يتضح أن المعادلة الموضحة بأعلى تتعلق باللوغاريتمات المركبة، لكن برنولي لم يقم بإجراء عملية التكامل، وتوحي الرسائل التي كانت بينه وبين أويلر (الذي كان على علم أيضًا بنفس المعادلة) أنه لم يكن يفهم اللوغاريتمات على أكمل وجه. وقد اقترح اويلر أن اللوغاريتمات المركبة من الممكن أن يكون لها قيم عديدة لا متناهية.

في غضون سنة 1714 اكتشف روجر كوتس Roger Cotes أن:

(حيث "ln" تعني اللوغاريتم الطبيعي؛ أي اللوغاريتم الذي أساسه e[3] نحن نعلم الآن أن اللوغاريتم المركب له عدد لا نهائي من القيم؛ نظرًا للطبيعة الدورية للدوال المثلثية، لكن كوتس غفل عن هذه الحقيقة.

أويلر (ربما نحو 1740) ولى انتباه إلى الدالة الأسية بدلاً من اللوغاريتمات، واستطاع الحصول على الصيغة الصحيحة المعروفة باسمه الآن، وقد نشرها في 1748، معتمدًا في إثباتها على المتسلسلات اللامتناهية. لم يُقدَّر لكلا الرجلين أن يريا التمثيل الهندسي للصيغة، إذ أن تمثيل الأعداد المركبة كنقاط على المستوى المركب لم يظهر إلا بعد 50 سنة بعد ذلك.


التطبيقات في نظرية الأعداد المركبة

Euler's formula.svg
Three-dimensional visualization of Euler's formula. See also circular polarization.

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

الإثبات الأصلي الذي قدمه أويلر يعتمد على مفكوك تايلور للدالة الأسية ez (حيث z عدد مركب)، ودالة الجيب sin x، وجيب التمام cos x لأي عدد حقيقي x (سيتم تناول الإثبات أدناه)، في الحقيقة هذا الإثبات يبين أن صيغة أويلر صحيحة لكل عدد مركب  z.

أي نقطة في المستوى المركب من الممكن أن تمثل بعدد مركب مكتوب في صورة إحداثيات ديكارتية، تقدم صيغة اويلر وسيلة للتحويل من هذه الإحداثيات الديكارتية إلى الإحداثيات القطبية، مما يقلل الحدين إلى حد واحد، وهذا بدوره يبسط عمليات ضرب أو قسمة الأعداد المركبة، كما يبسط رفعها لأي قوى. أي عدد مركب z = x + iy من الممكن أن يكتب على الصورة:

حيث

الجزء الحقيقي : الجزء التخيلي :

مقياس z
.

تعني سعة العدد المركب z; أي الزاوية بين الاتجاه الموجب لمحور السينات والمتجه z، مقاسة في اتجاه عكس عقارب الساعة وبالتقدير الدائري، هذه الزاوية لا يحدث لها تغير إذا أضيف إليها 2π؛ ذلك أن الزاوية الناتجة ستكون مكافئة للزاوية الأصلية. عندما تكون x ≤ 0 يجب تعديل بحسب الربع الذي تقع فيه.

من العلاقة السابقة يتبين أن صيغة أويلر من الممكن أن تستخدم في إيجاد لوغاريتم عدد مركب، مع الأخذ في الاعتبار أن اللوغاريتم هو عملية عكسية لعملية الرفع للأسس كالتالي

كما أن

وكلاهما صحيحان لأي عددين مركبين a وb.

وهكذا يمكننا أن نكتب:

وبأخذ لوغاريتم الطرفين فإن:

لكل z ≠ 0،

وهذه الصيغة من الممكن أن تستخدم باعتبارها تعريف اللوغاريتم المركب، وهكذا فإن لوغاريتم عدد مركب هو دالة متعددة القيم؛ نتيجة أن متعددة القيم.

واخيرًا قانون الأس الذي ينص على أن

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

العلاقة بحساب المثلثات

إن صيغة أويلر تبين الاتصال القوي بين التحليل الرياضي وحساب المثلثات، كما تقدم تفسيرًا لدالتي الجيب وجيب التمام في صورة مجاميع مرجحة للدالة الأسية.

المعادلتان أعلاه يمكن أن يشتقا من جمع وطرح صيغتي أويلر التاليتين:

ويمكن لهاتين الصيغتين أن يستخدما كتعريف للدوال المثلثية ذات السعة المركبة أو التخيلية. على سبيل المثال ، بوضع x = iy في المعادلتين ينتج أن:

الأسس المركبة قد تساعد أيضًا في تبسيط حساب المثلثات؛ لأنها يسهل التعامل معها رياضيًا عن التعامل مع المركبات الجيبية، أحد الوسائل إلى ذلك ببساطة هو تحويل الدوال الجيبية (الجيب وجيب التمام) إلى تعبيرات أسية مكافئة لها، ثم إجراء العمليات الرياضية على هذه التعبيرات لوضعها في أبسط صورة ممكنة، هذه الصور المبسطة الناتجة تظل حقيقية القيمة، فمثلاً :

هناك وسيلة أخرى لتبسيط الدوال الجيبية، وذلك عن طريق تمثيلها بدلالة الجزء الحقيقي من الدالة الأسية المركبة في صورة مناسبة، ثم إجراء العمليات الرياضية اللازمة لتبسيط هذا الصورة، وفي النهاية يُؤخذ الجزء الحقيقي منها ويُهمل الجزء التخيلي. مثلاً :

تطبيقات أخرى

تستخدم أحيانًا الدالة eix عند حل المعادلات التفاضلية لتبسيطها، وإن كان الحل الأخير دائمًا ما يكون في صورة دالة حقيقية تتضمن الجيب وجيب التمام. السبب للجوء إلى هذا الاستخدام هو كون الدالة الأسية دالة ذاتية "eigenfunction" في التفاضل. صيغة أويلر أيضًا تعتبر الأساس لمتطابقة أويلر؛ إذ أن الأخيرة هي نتيجة مباشرة من الأولى.

وفي الهندسة الكهربية ومجالات أخرى، فإن الإشارات التي تتغير تغيرًا دوريًا مع الزمن يعبر عنها بدلالة الجيب أو جيب التمام أو مجموعة مؤلفة منهما معًا (انظر تحليل فورييه)، ويكون من الملائم التعبير عنها بدلالة الجزء الحقيقي أو الجزء التخيلي من الدالة الأسية ذات الأس التخيلي (الدالة الأسية التخيلية أو المركبة)؛ وذلك بالاستعانة بصيغة أويلر. أيضًا تستخدم صيغة أويلر في التحليل الطوري للدوائر الكهربية، وذلك لتمثيل معاوقة مكثف أو ملف حث.

تعريفات الدالة الأسية المركبة

الدالة الأسية ex لأي قيمة حقيقية x من الممكن التعبير عنها بصور ليست كثيرة مكافئة لها (انظر خصائص الدالة الأسية)، والعديد من هذه الصور من الممكن أن تستغل في الحصول على تعريفات للدالة ez للقيم المركبة z، وذلك عن طريق استبدال x بالعدد المركب z، ثم إجراء العمليات الجبرية الممكنة في الأعداد المركبة، التعريفان المكافئان التاليان، على وجه الخصوص، من الممكن أن يستخدم أحدهما لتعريف الدالة الأسية المركبة.

باستخدام متسلسلة القوى

لكل عدد مركب z

باستخدام اختبار النسبة من الممكن توضيح أن متسلسلة القوى هذه لها نصف قطر تقارب لا متناه، ومن ثم فإنها تعرِّف الدالة ez لكل الأعداد المركبة z.

باستخدام النهايات

لكل عدد مركب z

البراهين

من الممكن برهنة الصيغة بعدة طرق.

باستخدام متسلسلة القوى

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

وهكذا...

وباستخدام متسلسلة القوى المذكورة أعلاه، نجد أنه لأي قيمة حقيقية x

في الخطوة الأخيرة استُعوِض بمتسلسلتي تايلور لدالتي الجيب وجيب التمام بقيمتهما: (sin(x و (cos(x، ويلاحظ أن إعادة ترتيب الحدود مبرر لأن كل متسلسلة تتقارب تقاربًا مطلقًا.

باستخدام تعريف النهايات

The black point represents a complex number in the complex plane. Its absolute value is r, the distance from the origin. Its argument is φ, its angle in radians counterclockwise from the positive real axis.
The exponential function ez can be defined as the limit of (1 + z/N)N, as N approaches infinity, and thus eiπ is the limit of (1 +iπ/N)N. In this animation N takes various increasing values from 1 to 100. The computation of (1 + iπ/N)N is displayed as the combined effect of N repeated multiplications in the complex plane, with the final point being the actual value of (1 +iπ/N)N. It can be seen that as N gets larger (1 +iπ/N)N approaches a limit of −1.

باعتبار i ثابتًا، وليكن ثابتًا تخيليًا، لاحظ أن

وبافتراض أن

إذن باستخدام قاعدة الضرب يمكن إيجاد مشتقة (ƒ(x كالتالي:

بما أن مشتقة (ƒ(x تساوي صفرًا فلابد أن تكون (ƒ(x دالة ثابتة في x؛ أي أن قيمة الدالة لا تتغير عند جميع قيم x، ولما كانت ƒ(0) = 1 (وذلك بالتعويض عن x = 0 في الدالة الأصلية) تكون ƒ(x) = 1، ومن ثم فإن.

بضرب الطرفين في (cos x + i sin x)، نحصل على


. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

باستخدام المعادلات التفاضلية

نفترض أن (ƒ(x دالة في المتغير الحقيقيx بحيث

بإجراء عملية التفاضل للطرفين بالنسبة إلى x

وهكذا يتضح أن (ƒ(x وeix يحققان نفس المعادلة التفاضلية العادية من الرتبة الأولى.

انظر أيضًا

المراجع

  1. ^ Moskowitz, Martin A. (2002). A Course in Complex Analysis in One Variable. World Scientific Publishing Co. p. 7. ISBN 981-02-4780-X.
  2. ^ Feynman, Richard P. (1977). The Feynman Lectures on Physics, vol. I. Addison-Wesley. pp. 22–1, 22–10. ISBN 0-201-02010-6.
  3. ^ John Stillwell (2002). Mathematics and Its History. Springer.
  4. ^ A Modern Introduction to Differential Equations, by Henry J. Ricardo, p428

وصلات خارجية