זהות אוילר

באנליזה מתמטית, זהות אוילר, הקרויה על שמו של המתמטיקאי השווייצרי הידוע לאונרד אוילר, היא השוויון הבא:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle e^{\pi i}+1=0}

כל אברי הזהות הם מספרים קבועים:

• e הוא בסיס הלוגריתם הטבעי.
• π הוא היחס בין היקף המעגל לקוטרו.
• i הוא היחידה המדומה, מקיים: עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle i^2=-1}

יופי מתמטי

זהות אוילר נחשבת בעיני רבים כזהות יוצאת דופן בשל יופיה המתמטי, הנובע מהפעולות הבסיסיות שהיא משלבת בתוכה (חיבור, כפל והעלאה בחזקה) ומהקבועים המתמטיים הבסיסיים שהיא מקשרת ביניהם:

• ${\displaystyle e}$ הוא מספר אי-רציונלי (ואף טרנסצנדנטי) המופיע באינספור הקשרים שונים באנליזה מתמטית ובתחומים משיקים. ספרותיו הראשונות הן 2.718.
• ${\displaystyle \pi }$ הוא מספר אי רציונלי (ואף טרנסצנדנטי) המופיע גם הוא באינספור הקשרים בגאומטריה, אנליזה מתמטית ותחומים משיקים. ספרותיו הראשונות הן 3.14.
• עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle i} הוא היחידה המדומה, הוא אחד משני השורשים הריבועיים של -1 (השני הוא -i).
• ${\displaystyle 1}$ הוא מספר טבעי המשמש כאיבר היחידה של כפל מספרים.
• ${\displaystyle 0}$ הוא מספר טבעי המשמש כאבר האפס של חיבור מספרים.

עדות ליופי שרבים מייחסים לזהות ניתן לראות בכך שבמשאל קוראים שערך כתב העת "Physics World" בין קוראיו היא הגיעה למקום הראשון, יחד עם משוואות מקסוול.^[1]

הוכחה

ניתן להוכיח את הזהות על־ידי הצבת עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x=\pi} בנוסחת אוילר:

$${\displaystyle {\begin{aligned}e^{\pi i}&=\cos(\pi )+i\sin(\pi )\\&=0-1\\&e^{i\pi }+1=0\end{aligned}}}$$

הכללות

מנוסחת אוילר נובע ששורשי היחידה מסדר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle n} הם המספרים מהצורה ${\displaystyle e^{\frac {2\pi ik}{n}}}$ לכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle k=0,\ldots,n-1} . סכום שורשי היחידה הוא תמיד 0:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \sum_{k=0}^{n-1}e^{\frac{2\pi ik}{n}}=0}

טענה זו ניתן להוכיח בדרכים רבות, למשל דרך ההבחנה שסכום שורשי היחידה הוא המקדם של עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle x^{n-1}} בפולינום:

${\displaystyle x^{n}-1=\prod _{k=0}^{n-1}\left(x-e^{\frac {2\pi ik}{n}}\right)}$

הצבה של ${\displaystyle n=2}$ בסכום נותנת את זהות אוילר.

את נוסחת אוילר ניתן להכליל גם לקווטרניונים, אז מקבלים זהות אוילר מוכללת:

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle e^{(a_1i+a_2j+a_3k)\pi}+1=0}

לכל ${\displaystyle a_{1},a_{2},a_{3}}$ ממשיים המקיימים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle {a_1}^2+{a_2}^2+{a_3}^2=1} .

ראו גם

• זהויות טריגונומטריות

קישורים חיצוניים

• גדי אלכסנדרוביץ', נוסחת אוילר, ואיך היא קשורה למתנד הרמוני, באתר "לא מדויק"

הערות שוליים