Eulers formel (geometri)

Se Eulers formel för det resultat som kallas "Eulers formel" inom komplex analys

Eulers formel (den ena av två olika formler med samma namn) är uppkallad efter Leonhard Euler och gäller ett samband mellan en månghörnings hörn, kanter och sidoytor.  Mer precist lyder satsen:Låt P vara en månghörning, vilken uppfyller:1) två hörn på P kan alltid sammanbindas med en rad kanter2) varje båge dragen på P som börjar och slutar i samma punkt, delar P i två delarDå gäller följande samband:, där  är antal hörn,  antal kanter och  antal sidor

Krav 1) utesluter ihåliga månghörningar, som har håligheter, medan krav 2) utesluter geometriska former med hål tvärsigenom.  

Exempelvis har en kub 8 hörn, 12 kanter och 6 sidor (8-12+6=2); medan en tolvhörning har 12 hörn, 30 kanter och 20 sidor (12-30+20=2).  Resultatet kallas även Eulers relation''.  Formeln tillhör den elementära geometrin men är även viktig i modernare geometrier som differentialgeometrin och topologi.  

Sambandet gäller även för en planär graf, där noder är hörn, bågar är kanter och inneslutna områden (det omgivande området medräknat) är sidoytor.  En månghörning som uppfyller satsens förutsättningar, är i själva verket en planär graf i sig.  

Eulers formel bevisades först av Descartes (1639), ett faktum som återupptäcktes av Euler som publicerade sitt bevis 1751.

Talet 2 i ovanstående formel kallas den ”vanliga” topologins eulerkarakteristik.  Mer allmänt kan man säga, att , där  är eulerkarakteristiken för den givna topologin (vanliga fall betraktar man tvådimensionella ytor).  Allmänt kan sägas, att eulerkarateristiken för en yta  med  st. hål är  .

Den "vanliga" ytan, det vill säga ett plan som sträcker sig oändligt långt åt alla håll, har eulerkarakteristik 2, liksom sfären.  Till varje unik topologi kan tilldelas ett och endast värde på eulerkarakteristiken, vilken således kan användas för att avgöra om två topologier är homeomorfa; eulerkarakteristiken är en så kallad topologisk invariant.  Det oändliga planet och sfären är således homeomorfa.  

Några vanliga tvådimensionella ytor med deras respektive eulerkarakteristik:

En triangulär sfär 
En torus 
En dubbel torus

Bevis
Nedan följer två bevis, båda använder grafteori för att visa satsens riktighet. 

Bevis 1

En månghörning kan alltid översättas till en planär graf , vars noder representerar hörnen, bågarna kanterna och de mellanliggande ytorna sidorna i månghörningn (det omgivande området betraktas som en yta).  

Dessutom kan man alltid plocka bort bågar i en sådan graf, så att den blir ett uppspännande träd .   har då noder i alla de forna hörnen och bågar i en del av de forna kanterna.  

Låt  vara dualgrafen till  och  vara ett uppspännande träd till  där de bortplockade kanterna svarar mot bågar i , vilken har en nod i varje av de forna ytorna (en i det omgivande området också).  Dessa noder förbinds med bågar över de bortplockade kanterna; detta förbinder alla noder (eftersom ett träd inte kan innesluta någon yta).   är även den ett träd – om den hade loopar, inneslute dessa någon nod till , vilket den inte kan, eftersom :s bågar endast löper över de kanter som plockats bort när  skapades.  

Alla sidor  i månghörningen representeras nu av en nod i , antalet noder  i  är alltså lika med antalet sidor.  Alla hörn  i månghörningn representeras av en nod i , antalet noder  i  är alltså lika med antalet hörn.  Alla kanter  i månghörningn representeras av bågar i de båda graferna  och , antalet bågar  i  plus antalet bågar  i  är alltså lika med antalet sidor.  

Att ett träd har en nod mer än bågar, är självklart, då varje båge alltid avslutas i en nod.  Således gäller sambandet: , där  är antalet noder och  antalet bågar.  

Sammanställer vi detta, får vi:
T: 
T*: 
Adderar vi ihop dessa två samband för  och , erhåller vi:
, vilket enligt vårt resonemang är detsamma som:

 , V.S.B.

Bevis 2

Vi börjar med att "vika ut" polyedern så att vi kan betrakta den som en tvådimensionell graf, i vilken varje nod motsvarar ett hörn, varje båge en kant och varje avgränsat område en sida, inklusive det som omger grafen. Första grafen ovan visar exempelvis en utvikt kub. I alla områden, exklusive det omgivande, som inte är trianglar (det vill säga som inte omges av exakt tre noder) drar vi en diagonal som delar området i två delar. Varje diagonal ökar såväl  (bågar) som  (områden) med 1. Det följer att om och endast om Eulers relation gällde före operationen gäller den även efter. Detta fortsätter vi med tills grafen enbart består av trianglar. 

Om grafen består av mer än en triangel väljer vi nu ut en triangel som gränsar mot det omgivande området. Eftersom grafen är sammanhängande måste gränsen utgöras av antingen en eller två bågar, och den eller dessa tar vi bort. Om en enda båge tas bort (som illustrerat av den andra grafen ovan) följer att  (bågar) och  (områden) minskar med 1. Om däremot två bågar tas bort (tredje grafen ovan) minskar  (noder) med 1,  (bågar) med 2 och  (områden) med 1. I båda fallen gäller att om och endast om relationen gällde före operationen gäller den även efter. Detta fortsätter vi med tills grafen enbart består av en enda triangel.

För denna triangel gäller  och påståendet följer därmed genom induktion.

Geometri