Fall 2016, problem 21

Determine all values of

$n$ such that it is possible to divide a triangle into

$n$ smaller triangles such that there are not three collinear vertices and such that each vertex belongs to the same number of segments.

Comments

Nelix

5 years ago

edit: The possibilities are:

$n=3$ : Just insert a point $z$ in the interior of the original triangle. Connect it to the original vertices.
$n=7$ : Morley's figure
$n =19$ : Something more complicated. See figure at the end.

[You get these figures, by taking the surface of a tetrahedron, octahedron or icosahedron, deleting one face and then flattening out the rest. As an aside, the other two platonic solids would give you a subdivision of a quadliteral into smaller quadliterals (cube) or of a pentagon into smaller pentagons (dodecahedron). Both subdivisions satisfy the rest of the problem requirements.]

Here's what I wrote before. It's wrong:

The obvious possibility is $n=3$ : The possibility $n=1$ is ruled out, since it is specified, that the triangles after subdivision be smaller than the original. We will show, that $n=3$ is actually the only possibility:

Notation: After subdivision...

... $v$ is the number of vertices
... $e$ is the total number of segments
... $k$ is the number of segments any given vertex belongs to

Here's a formal Proof:

Euler's formula for planar graphs says: $n + v - e = 1 \quad (Eq.1)$

We sum over all segments the number of vertices on that segment (the latter is always 2). The result is $2e$ , of course. Counting this way, we count every vertex $k$ times from the definition of $k$ . Therefore:

$2e = k v \quad (Eq.2)$

edit: We sum over all triangles the number of vertices of that triangle (the latter is always 3). The result is $3 n$ , of course. Counting this way, we count every vertex of the original triangle $(k - 1)$ times and we count all other vertices $k$ times (the difference between these two types of vertices comes from the fact, that the outside of the original triangle is not a triangle). Therefore:

$3 n = (k - 1) \times 3 + k (v - 3) \quad (Eq.3)$

Here's what I wrote before. It's wrong:

We sum over all triangles the number of vertices of that triangle (the latter is always 3). The result is $3 n$ , of course. Counting this way, we count every vertex of the original triangle two times and we count all other vertices 3 times (the difference between these two types of vertices comes from the fact, that the outside of the original triangle is not a triangle). Therefore:

$3 n = 2 ¸\times 3 + 3 (v - 3) \quad (Eq.3)$

Putting together Equations 1 through 3 yields:

$n (6 - k) = 5 k - 6$ .

The solutions of this equation by positive integers are $(k,n) \in \{(3,3), (4,7), (5,19), (2, 1)\}$ . The solution (2,1) does not correspond to a valid subdivision, since in the problem it is specified, that after subdivision the triangles be smaller.

Thanks to rubs, who found a serious bug in my original answer and who brought the morley figure to my attention.

What about the figure in the theorem of Morley ?

rubs 5 years ago

@rubs Thank you. You are absolutely right. The Morley figure is another possibility. Gonna fix this.

Nelix 5 years ago