MathLabs

Problem 2

Let PP be a regular 20062006-gon. A diagonal of PP is called good if its endpoints divide the boundary of PP into two parts, each composed of an odd number of sides of PP. The sides of PP are also called good. Suppose PP has been dissected into triangles by 20032003 diagonals, no two of which have a common point in the interior of PP. Find the maximum number of isosceles triangles having two good sides that could appear in such a configuration.
Step 2 of 5: Delete good diagonals from the triangulation tree
In plain words

The 20042004 triangles are nodes of a tree, with an edge when two triangles share a diagonal. Removing the kk good diagonals splits this tree into k+1k+1 components.

T=dual tree of the triangulation,F=T∖{edges for good diagonals}T=\text{dual tree of the triangulation},\qquad F=T\setminus\{\text{edges for good diagonals}\}
Detailed analysis

The dual graph TT of a polygon triangulation is a tree with 20042004 vertices. Let kk be the number of good diagonals used. Deleting the corresponding kk edges gives a forest FF with k+1k+1 trees.