Eulers identitet: varför e^(iπ) + 1 = 0

Det finns en ekvation som matematiker, när de ombeds namnge det vackraste resultatet i sitt fält, återvänder till om och om igen. Den är inte lång. Den kräver ingen avancerad maskineri för att ställas. Den lyder:

$$e^{i\pi} + 1 = 0$$

I en kort rad samlar den fem tal som kommer från helt skilda delar av matematiken: e från studiet av tillväxt, i från kvadratrötterna av negativa tal, π från cirklar, och de två talen 1 och 0 som all aritmetik vilar på. De har inget att göra i samma rum, och ändå sitter de här i ett enda exakt samband, utan något över. Det anmärkningsvärda är inte bara att ekvationen är vacker. Det är att den är sann, och att skälet till att den är sann kan ses tydligt i ett sittning.

Vad ekvationen säger

De flesta möter exponenter som upprepad multiplikation. Två upphöjt till tre är två gånger två gånger två. Den bilden fungerar fint för heltalsexponenter, men faller isär i samma ögonblick som någon skriver e upphöjt till en imaginär potens. Du kan inte multiplicera e med sig själv "i gånger". Det första att acceptera är alltså att $e^{i\pi}$ inte ber dig göra upprepad multiplikation alls. Det är värdet av en djupare funktion, och den funktionen är nyckeln till allt.

Eulers formel: motorn bakom identiteten

Hela saken vilar på ett mer allmänt faktum, upptäckt av Leonhard Euler, känt som Eulers formel:

$$e^{i\theta} = \cos \theta + i \sin \theta$$

Det säger att e upphöjt till en imaginär potens inte ger ett enda vanligt tal. Det ger en kombination av en cosinus och en sinus, som tillsammans beskriver en punkt i planet. När vinkeln θ växer rör sig den punkten. Och vart den rör sig är hjärtat i saken. För en känsla av var cosinus och sinus kommer ifrån från början är artikeln om förstå trigonometri intuitivt en naturlig följeslagare, eftersom just de två funktionerna är vad Eulers formel byggs av.

Att läsa $e^{i\theta}$ som rotation

Här är bilden som får Eulers identitet att kännas oundviklig snarare än mystisk. Föreställ dig planet, med den vanliga tallinjen från vänster till höger och de imaginära talen upp och ner. Punkten cos θ + i sin θ sitter alltid exakt en enhet från centrum, för cosinus och sinus är precis koordinaterna för en punkt på en cirkel med radie ett. Så när θ ökar rusar $e^{i\theta}$ inte iväg mot oändligheten som reell exponentiell tillväxt gör. Den vandrar, i jämn takt, runt enhetscirkeln.

När θ är 0 står du vid startpunkten, en enhet åt höger, vilket är talet 1. Ett kvarts varv, θ = π/2, tar dig till toppen av cirkeln, punkten i. Fortsätt till ett halvt varv, och du kommer fram på andra sidan. Det är allt identiteten egentligen påstår, och när rotation är bilden är beviset bara bokföring.

Beviset i fyra steg

Varför det känns som magi

Lägg märke till att ingenting i beviset är svårt när du väl accepterar Eulers formel. Svårigheten låg aldrig i algebran. Den låg i viljan att omtolka vad en exponent betyder. Upprepad multiplikation är en fin första bild, men den är ett specialfall av något större: exponentialfunktionen beskriver hur saker förändras i proportion till sin nuvarande storlek, och när du matar den med en imaginär indata visar sig den "förändringen" vara rotation i stället för tillväxt. Samma maskin som modellerar ränta på ränta och befolkningstillväxt, omdirigerad i sidled in i den imaginära riktningen, ritar en perfekt cirkel.

Det är överraskningen i identitetens centrum. Tillväxt och rotation ser ut som obesläktade idéer, och exponentialfunktionen avslöjar tyst att de är två ansikten av samma sak. Konstanten π, definierad rent genom cirklar, måste dyka upp, för ett halvt varv är exakt π radianer. Den imaginära enheten i måste dyka upp, för det är den som pekar exponentialen i sidled. Och när båda är närvarande kan $e^{i\pi}$ bara vara -1.

Zenen i det

Eulers identitet förtjänar sitt rykte inte genom att vara komplicerad utan genom att vara oundviklig. Varje symbol står där för att den måste, och ta bort vilken som helst av dem så kollapsar påståendet. Det är samma kvalitet som gör att Euklides bevis för oändligt många primtal och andra eleganta argument består: du kan se hela saken i ett svep, och till slut finns det inget steg du måste ta på tro.

Den sitter också bredvid en annan sort av matematisk skönhet, bevisen som visar att något måste finnas utan att någonsin bygga det. Erdős och den probabilistiska metoden är det skarpaste exemplet, och det ger en intressant kontrast: Eulers identitet är vacker för att den är så konkret och exakt, medan Erdős metod är vacker för att den trollar fram existens ur ren räkning.

Vad Eulers identitet ber dig hålla i huvudet är bara detta: en exponent behöver inte betyda upprepad multiplikation. När den kan betyda rotation visar sig fem främlingar från hela matematiken stå på en rad, och raden är exakt. Vill du känna grunderna den vilar på bygger förstå exponenter intuitivt idén om en exponent från grunden, och just det språnget får identiteten att klicka.