SlideShare a Scribd company logo
Euler’s theorem and
    applications
           Martin B ODIN
     martin.bodin@ens-lyon.org




                                 Euler’s theorem and applications – p. 1
The theorem




              Euler’s theorem and applications – p. 2
The theorem
Theorem. Given a plane graph, if v is the number of vertex,
e, the number of edges, and f the number of faces,

                     v−e+f =2




                                              Euler’s theorem and applications – p. 2
The Theorem
Proof. Consider the plane graph G.




                                     Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




We consider T , a minimal graph from G, connex.




                                             Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




We consider T , a minimal graph from G, connex.
T is a tree.
Thus eT = v − 1, where eT is the number of T ’s edge.

                                            Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




Then we consider the dual graph.




                                     Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




Then we consider the dual graph.
And the dual D of T .



                                     Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




Then we consider the dual graph.
And the dual D of T .
D in a also a tree.
Thus eD = f − 1.
                                     Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




Now, we have eT   + eD = e.
                  e = (v − 1) + (f − 1)

                                          Euler’s theorem and applications – p. 3
The Theorem
Proof. Consider the plane graph G.




Now, we have eT   + eD = e.

                     v−e+f =2

                                     Euler’s theorem and applications – p. 3
Applications




               Euler’s theorem and applications – p. 4
Applications
Given a plane graph, there exists an edge of
degree at more 5.




                                      Euler’s theorem and applications – p. 4
Applications
Given a plane graph, there exists an edge of
degree at more 5.
Given a finite set of points non all in the same
line, there exists a line that contains only two of
them.




                                          Euler’s theorem and applications – p. 4
Thanks For Your
      Listenning !
Any questions ?




                        Euler’s theorem and applications – p. 5

More Related Content

What's hot

5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.
Jan Plaza
 
Epanaliptiko pros spiros_giannakaros_2021
Epanaliptiko pros spiros_giannakaros_2021Epanaliptiko pros spiros_giannakaros_2021
Epanaliptiko pros spiros_giannakaros_2021
Christos Loizos
 
Limits BY ATC
Limits BY ATCLimits BY ATC
Functions 2
Functions 2Functions 2
Functions 2
Tyler Murphy
 
Exam 3 Math 189
Exam 3 Math 189Exam 3 Math 189
Exam 3 Math 189
Tyler Murphy
 
Lab assignment -_6
Lab assignment -_6Lab assignment -_6
Lab assignment -_6
Tribhuvan University
 
Ex1 h applications
Ex1 h applicationsEx1 h applications
Ex1 h applicationsgiovanniL
 
Accessing the tuples
Accessing the tuplesAccessing the tuples
Accessing the tuples
annalakshmir2
 
Linear approximations
Linear approximationsLinear approximations
Linear approximations
Tarun Gehlot
 
5.2. Function composition
5.2. Function composition5.2. Function composition
5.2. Function composition
Jan Plaza
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.
Jan Plaza
 
Nonlinear dynamics
Nonlinear dynamicsNonlinear dynamics
Nonlinear dynamics
Kamran Ansari
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.
Jan Plaza
 

What's hot (15)

5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.5.5 Injective and surjective functions. A handout.
5.5 Injective and surjective functions. A handout.
 
Epanaliptiko pros spiros_giannakaros_2021
Epanaliptiko pros spiros_giannakaros_2021Epanaliptiko pros spiros_giannakaros_2021
Epanaliptiko pros spiros_giannakaros_2021
 
09 Unif Exp Gamma
09 Unif Exp Gamma09 Unif Exp Gamma
09 Unif Exp Gamma
 
Limits BY ATC
Limits BY ATCLimits BY ATC
Limits BY ATC
 
Functions 2
Functions 2Functions 2
Functions 2
 
Tot d isomorphism1
Tot d isomorphism1Tot d isomorphism1
Tot d isomorphism1
 
Exam 3 Math 189
Exam 3 Math 189Exam 3 Math 189
Exam 3 Math 189
 
Lab assignment -_6
Lab assignment -_6Lab assignment -_6
Lab assignment -_6
 
Ex1 h applications
Ex1 h applicationsEx1 h applications
Ex1 h applications
 
Accessing the tuples
Accessing the tuplesAccessing the tuples
Accessing the tuples
 
Linear approximations
Linear approximationsLinear approximations
Linear approximations
 
5.2. Function composition
5.2. Function composition5.2. Function composition
5.2. Function composition
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.
 
Nonlinear dynamics
Nonlinear dynamicsNonlinear dynamics
Nonlinear dynamics
 
5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.5.1 Defining and visualizing functions. Dynamic slides.
5.1 Defining and visualizing functions. Dynamic slides.
 

Viewers also liked

euler's theorem
euler's theoremeuler's theorem
euler's theorem
mihir jain
 
EULER AND FERMAT THEOREM
EULER AND FERMAT THEOREMEULER AND FERMAT THEOREM
EULER AND FERMAT THEOREM
ankita pandey
 
Euler’s formula
Euler’s formulaEuler’s formula
Euler’s formula
Rahul Sharma
 
The adding up problem product exhaustion theorem yohannes mengesha
The adding up problem product exhaustion theorem yohannes mengesha The adding up problem product exhaustion theorem yohannes mengesha
The adding up problem product exhaustion theorem yohannes mengesha Yohannes Mengesha, PhD Fellow
 
application of partial differentiation
application of partial differentiationapplication of partial differentiation
application of partial differentiation
eteaching
 
Euler's work on Fermat's Last Theorem
Euler's work on Fermat's Last TheoremEuler's work on Fermat's Last Theorem
Euler's work on Fermat's Last TheoremLee Stemkoski
 
Form of a Composite Function
Form of a Composite FunctionForm of a Composite Function
Form of a Composite Functionmaddie271
 
Euler Identity
Euler IdentityEuler Identity
Euler Identity
Ahmad Kamal
 
Beam theory
Beam theoryBeam theory
Beam theory
bissla19
 
Elastic beams
Elastic beams Elastic beams
Elastic beams
Bhavik A Shah
 
MILNE'S PREDICTOR CORRECTOR METHOD
MILNE'S PREDICTOR CORRECTOR METHODMILNE'S PREDICTOR CORRECTOR METHOD
MILNE'S PREDICTOR CORRECTOR METHOD
Kavin Raval
 
Production function
Production function Production function
Production function
Tej Kiran
 
Partial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examplesPartial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examples
Enrique Valderrama
 
Production function ppt in economics
Production function ppt in economicsProduction function ppt in economics
Production function ppt in economics
Mansi Tyagi
 
Partial differential equations
Partial differential equationsPartial differential equations
Partial differential equations
aman1894
 
Nidhi ppt (production function)
Nidhi ppt (production function)Nidhi ppt (production function)
Nidhi ppt (production function)Nidhi Panday
 

Viewers also liked (20)

euler's theorem
euler's theoremeuler's theorem
euler's theorem
 
EULER AND FERMAT THEOREM
EULER AND FERMAT THEOREMEULER AND FERMAT THEOREM
EULER AND FERMAT THEOREM
 
Euler formula
Euler formulaEuler formula
Euler formula
 
Euler’s formula
Euler’s formulaEuler’s formula
Euler’s formula
 
Ch08
Ch08Ch08
Ch08
 
The adding up problem product exhaustion theorem yohannes mengesha
The adding up problem product exhaustion theorem yohannes mengesha The adding up problem product exhaustion theorem yohannes mengesha
The adding up problem product exhaustion theorem yohannes mengesha
 
application of partial differentiation
application of partial differentiationapplication of partial differentiation
application of partial differentiation
 
RSA
RSARSA
RSA
 
Euler's work on Fermat's Last Theorem
Euler's work on Fermat's Last TheoremEuler's work on Fermat's Last Theorem
Euler's work on Fermat's Last Theorem
 
Form of a Composite Function
Form of a Composite FunctionForm of a Composite Function
Form of a Composite Function
 
Euler Identity
Euler IdentityEuler Identity
Euler Identity
 
Beam theory
Beam theoryBeam theory
Beam theory
 
Elastic beams
Elastic beams Elastic beams
Elastic beams
 
MILNE'S PREDICTOR CORRECTOR METHOD
MILNE'S PREDICTOR CORRECTOR METHODMILNE'S PREDICTOR CORRECTOR METHOD
MILNE'S PREDICTOR CORRECTOR METHOD
 
Production function
Production function Production function
Production function
 
Partial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examplesPartial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examples
 
Production function ppt in economics
Production function ppt in economicsProduction function ppt in economics
Production function ppt in economics
 
Partial differential equations
Partial differential equationsPartial differential equations
Partial differential equations
 
Nidhi ppt (production function)
Nidhi ppt (production function)Nidhi ppt (production function)
Nidhi ppt (production function)
 
Beams ppt
Beams pptBeams ppt
Beams ppt
 

More from aniruddh Tyagi

whitepaper_mpeg-if_understanding_mpeg4
whitepaper_mpeg-if_understanding_mpeg4whitepaper_mpeg-if_understanding_mpeg4
whitepaper_mpeg-if_understanding_mpeg4aniruddh Tyagi
 
BUC BLOCK UP CONVERTER
BUC BLOCK UP CONVERTERBUC BLOCK UP CONVERTER
BUC BLOCK UP CONVERTERaniruddh Tyagi
 
Discrete cosine transform
Discrete cosine transformDiscrete cosine transform
Discrete cosine transformaniruddh Tyagi
 
EBU_DVB_S2 READY TO LIFT OFF
EBU_DVB_S2 READY TO LIFT OFFEBU_DVB_S2 READY TO LIFT OFF
EBU_DVB_S2 READY TO LIFT OFFaniruddh Tyagi
 
ADVANCED DVB-C,DVB-S STB DEMOD
ADVANCED DVB-C,DVB-S STB DEMODADVANCED DVB-C,DVB-S STB DEMOD
ADVANCED DVB-C,DVB-S STB DEMODaniruddh Tyagi
 
haffman coding DCT transform
haffman coding DCT transformhaffman coding DCT transform
haffman coding DCT transformaniruddh Tyagi
 
fundamentals_satellite_communication_part_1
fundamentals_satellite_communication_part_1fundamentals_satellite_communication_part_1
fundamentals_satellite_communication_part_1aniruddh Tyagi
 
art_sklar7_reed-solomon
art_sklar7_reed-solomonart_sklar7_reed-solomon
art_sklar7_reed-solomonaniruddh Tyagi
 

More from aniruddh Tyagi (20)

whitepaper_mpeg-if_understanding_mpeg4
whitepaper_mpeg-if_understanding_mpeg4whitepaper_mpeg-if_understanding_mpeg4
whitepaper_mpeg-if_understanding_mpeg4
 
BUC BLOCK UP CONVERTER
BUC BLOCK UP CONVERTERBUC BLOCK UP CONVERTER
BUC BLOCK UP CONVERTER
 
digital_set_top_box2
digital_set_top_box2digital_set_top_box2
digital_set_top_box2
 
Discrete cosine transform
Discrete cosine transformDiscrete cosine transform
Discrete cosine transform
 
DCT
DCTDCT
DCT
 
EBU_DVB_S2 READY TO LIFT OFF
EBU_DVB_S2 READY TO LIFT OFFEBU_DVB_S2 READY TO LIFT OFF
EBU_DVB_S2 READY TO LIFT OFF
 
ADVANCED DVB-C,DVB-S STB DEMOD
ADVANCED DVB-C,DVB-S STB DEMODADVANCED DVB-C,DVB-S STB DEMOD
ADVANCED DVB-C,DVB-S STB DEMOD
 
DVB_Arch
DVB_ArchDVB_Arch
DVB_Arch
 
haffman coding DCT transform
haffman coding DCT transformhaffman coding DCT transform
haffman coding DCT transform
 
Classification
ClassificationClassification
Classification
 
tyagi 's doc
tyagi 's doctyagi 's doc
tyagi 's doc
 
quantization_PCM
quantization_PCMquantization_PCM
quantization_PCM
 
ECMG & EMMG protocol
ECMG & EMMG protocolECMG & EMMG protocol
ECMG & EMMG protocol
 
7015567A
7015567A7015567A
7015567A
 
Basic of BISS
Basic of BISSBasic of BISS
Basic of BISS
 
euler theorm
euler theormeuler theorm
euler theorm
 
fundamentals_satellite_communication_part_1
fundamentals_satellite_communication_part_1fundamentals_satellite_communication_part_1
fundamentals_satellite_communication_part_1
 
quantization
quantizationquantization
quantization
 
art_sklar7_reed-solomon
art_sklar7_reed-solomonart_sklar7_reed-solomon
art_sklar7_reed-solomon
 
DVBSimulcrypt2
DVBSimulcrypt2DVBSimulcrypt2
DVBSimulcrypt2
 

Recently uploaded

Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
mikeeftimakis1
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Albert Hoitingh
 
Welocme to ViralQR, your best QR code generator.
Welocme to ViralQR, your best QR code generator.Welocme to ViralQR, your best QR code generator.
Welocme to ViralQR, your best QR code generator.
ViralQR
 
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Ramesh Iyer
 
How world-class product teams are winning in the AI era by CEO and Founder, P...
How world-class product teams are winning in the AI era by CEO and Founder, P...How world-class product teams are winning in the AI era by CEO and Founder, P...
How world-class product teams are winning in the AI era by CEO and Founder, P...
Product School
 
DevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA ConnectDevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA Connect
Kari Kakkonen
 
The Future of Platform Engineering
The Future of Platform EngineeringThe Future of Platform Engineering
The Future of Platform Engineering
Jemma Hussein Allen
 
Generative AI Deep Dive: Advancing from Proof of Concept to Production
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionGenerative AI Deep Dive: Advancing from Proof of Concept to Production
Generative AI Deep Dive: Advancing from Proof of Concept to Production
Aggregage
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
ControlCase
 
FIDO Alliance Osaka Seminar: Overview.pdf
FIDO Alliance Osaka Seminar: Overview.pdfFIDO Alliance Osaka Seminar: Overview.pdf
FIDO Alliance Osaka Seminar: Overview.pdf
FIDO Alliance
 
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Paige Cruz
 
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Thierry Lestable
 
When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...
Elena Simperl
 
UiPath Test Automation using UiPath Test Suite series, part 3
UiPath Test Automation using UiPath Test Suite series, part 3UiPath Test Automation using UiPath Test Suite series, part 3
UiPath Test Automation using UiPath Test Suite series, part 3
DianaGray10
 
Essentials of Automations: Optimizing FME Workflows with Parameters
Essentials of Automations: Optimizing FME Workflows with ParametersEssentials of Automations: Optimizing FME Workflows with Parameters
Essentials of Automations: Optimizing FME Workflows with Parameters
Safe Software
 
Leading Change strategies and insights for effective change management pdf 1.pdf
Leading Change strategies and insights for effective change management pdf 1.pdfLeading Change strategies and insights for effective change management pdf 1.pdf
Leading Change strategies and insights for effective change management pdf 1.pdf
OnBoard
 
The Art of the Pitch: WordPress Relationships and Sales
The Art of the Pitch: WordPress Relationships and SalesThe Art of the Pitch: WordPress Relationships and Sales
The Art of the Pitch: WordPress Relationships and Sales
Laura Byrne
 
Epistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI supportEpistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI support
Alan Dix
 
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
UiPathCommunity
 
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptx
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptxSecstrike : Reverse Engineering & Pwnable tools for CTF.pptx
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptx
nkrafacyberclub
 

Recently uploaded (20)

Introduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - CybersecurityIntroduction to CHERI technology - Cybersecurity
Introduction to CHERI technology - Cybersecurity
 
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
Encryption in Microsoft 365 - ExpertsLive Netherlands 2024
 
Welocme to ViralQR, your best QR code generator.
Welocme to ViralQR, your best QR code generator.Welocme to ViralQR, your best QR code generator.
Welocme to ViralQR, your best QR code generator.
 
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...
 
How world-class product teams are winning in the AI era by CEO and Founder, P...
How world-class product teams are winning in the AI era by CEO and Founder, P...How world-class product teams are winning in the AI era by CEO and Founder, P...
How world-class product teams are winning in the AI era by CEO and Founder, P...
 
DevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA ConnectDevOps and Testing slides at DASA Connect
DevOps and Testing slides at DASA Connect
 
The Future of Platform Engineering
The Future of Platform EngineeringThe Future of Platform Engineering
The Future of Platform Engineering
 
Generative AI Deep Dive: Advancing from Proof of Concept to Production
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionGenerative AI Deep Dive: Advancing from Proof of Concept to Production
Generative AI Deep Dive: Advancing from Proof of Concept to Production
 
PCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase TeamPCI PIN Basics Webinar from the Controlcase Team
PCI PIN Basics Webinar from the Controlcase Team
 
FIDO Alliance Osaka Seminar: Overview.pdf
FIDO Alliance Osaka Seminar: Overview.pdfFIDO Alliance Osaka Seminar: Overview.pdf
FIDO Alliance Osaka Seminar: Overview.pdf
 
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfObservability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdf
 
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
Empowering NextGen Mobility via Large Action Model Infrastructure (LAMI): pav...
 
When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...When stars align: studies in data quality, knowledge graphs, and machine lear...
When stars align: studies in data quality, knowledge graphs, and machine lear...
 
UiPath Test Automation using UiPath Test Suite series, part 3
UiPath Test Automation using UiPath Test Suite series, part 3UiPath Test Automation using UiPath Test Suite series, part 3
UiPath Test Automation using UiPath Test Suite series, part 3
 
Essentials of Automations: Optimizing FME Workflows with Parameters
Essentials of Automations: Optimizing FME Workflows with ParametersEssentials of Automations: Optimizing FME Workflows with Parameters
Essentials of Automations: Optimizing FME Workflows with Parameters
 
Leading Change strategies and insights for effective change management pdf 1.pdf
Leading Change strategies and insights for effective change management pdf 1.pdfLeading Change strategies and insights for effective change management pdf 1.pdf
Leading Change strategies and insights for effective change management pdf 1.pdf
 
The Art of the Pitch: WordPress Relationships and Sales
The Art of the Pitch: WordPress Relationships and SalesThe Art of the Pitch: WordPress Relationships and Sales
The Art of the Pitch: WordPress Relationships and Sales
 
Epistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI supportEpistemic Interaction - tuning interfaces to provide information for AI support
Epistemic Interaction - tuning interfaces to provide information for AI support
 
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...
 
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptx
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptxSecstrike : Reverse Engineering & Pwnable tools for CTF.pptx
Secstrike : Reverse Engineering & Pwnable tools for CTF.pptx
 

euler theorm

  • 1. Euler’s theorem and applications Martin B ODIN martin.bodin@ens-lyon.org Euler’s theorem and applications – p. 1
  • 2. The theorem Euler’s theorem and applications – p. 2
  • 3. The theorem Theorem. Given a plane graph, if v is the number of vertex, e, the number of edges, and f the number of faces, v−e+f =2 Euler’s theorem and applications – p. 2
  • 4. The Theorem Proof. Consider the plane graph G. Euler’s theorem and applications – p. 3
  • 5. The Theorem Proof. Consider the plane graph G. We consider T , a minimal graph from G, connex. Euler’s theorem and applications – p. 3
  • 6. The Theorem Proof. Consider the plane graph G. We consider T , a minimal graph from G, connex. T is a tree. Thus eT = v − 1, where eT is the number of T ’s edge. Euler’s theorem and applications – p. 3
  • 7. The Theorem Proof. Consider the plane graph G. Then we consider the dual graph. Euler’s theorem and applications – p. 3
  • 8. The Theorem Proof. Consider the plane graph G. Then we consider the dual graph. And the dual D of T . Euler’s theorem and applications – p. 3
  • 9. The Theorem Proof. Consider the plane graph G. Then we consider the dual graph. And the dual D of T . D in a also a tree. Thus eD = f − 1. Euler’s theorem and applications – p. 3
  • 10. The Theorem Proof. Consider the plane graph G. Now, we have eT + eD = e. e = (v − 1) + (f − 1) Euler’s theorem and applications – p. 3
  • 11. The Theorem Proof. Consider the plane graph G. Now, we have eT + eD = e. v−e+f =2 Euler’s theorem and applications – p. 3
  • 12. Applications Euler’s theorem and applications – p. 4
  • 13. Applications Given a plane graph, there exists an edge of degree at more 5. Euler’s theorem and applications – p. 4
  • 14. Applications Given a plane graph, there exists an edge of degree at more 5. Given a finite set of points non all in the same line, there exists a line that contains only two of them. Euler’s theorem and applications – p. 4
  • 15. Thanks For Your Listenning ! Any questions ? Euler’s theorem and applications – p. 5