Formal Book

13 Three applications of Euler’s formula

Theorem 13.1 Euler’s formula

If \(G\) is a connected plane graph with \(n\) vertices, \(e\) edges and \(f\) faces, then

\[ n - e + f = 2. \]
Proof

TODO

Proposition 13.2

Let \(G\) be any simple plane graph with \(n{\gt}2\) vertices. Then \(G\) has at most \(3*n - 6\) edges.

Proof

TODO

Proposition 13.3

Let \(G\) be any simple plane graph with \(n{\gt}2\) vertices. Then \(G\) has a vertex of degree at most \(5\).

Proof

TODO

Proposition 13.4

Let \(G\) be any simple plane graph with \(n{\gt}2\) vertices. If the edges of \(G\) are two-colored, then there is a vertex of \(G\) with at most two color-changes in the cyclic order of the edges around the vertex.

Proof

TODO

Theorem 13.5 Sylvester-Gallai

Given any set of \(n \ge 3\) points in the plane, not all on one line, there is always a line that contains exactly two of the points.

Proof

TODO

Theorem 13.6 Monochromatic lines

Given any finite configuration of “black” and “white” points in the plane, not all on one line, there is always a “monochromatic” line: a line that contains at least two points of one color and none of the other.

Proof

TODO

Lemma 13.7

Every elementary triangle \(\Delta = \operatorname {conv}\{ p_0, p_1, p_2\} \subset \mathbb {R}^2\) has area \(A(\Delta )=12\)

Proof

TODO

Theorem 13.8 Pick’s theorem

The area of any (not necessarily convex) polygon \(Q\subset \mathbb {R}^2\) with integral vertices is given by

\[ A(Q) = n_{int} + \frac{1}{2}n_{bd} - 1 \]

where \(n_{int}\) and \(n_{bd}\) are the numbers of integral points in the interior respectively on the boundary of \(Q\).

Proof

TODO