"In a triangulation of a regular *n*-gon, there always exists a diagonal that divides the polygon into 2 small polygons and the smaller one has at least vertices."

I saw this property in the NEERC 2014's editorial but still cannot prove it. Can anyone help me? Thank you!

Auto comment: topic has been updated by cuom1999 (previous revision, new revision, compare).Take a dual tree to the triangulation (introduce a vertex inside every triangle and put an edge if faces share a diagonal) and find a centroid of this tree and diagonal you are looking for is one corresponding to the edge from centroid to its son with the biggest size of its subtree.

I think you mean NEERC 2015, not 2014.

Consider the triangle

XYZcontaining the circumcenter of the polygon. Without loss of generality letXYbe the longest minor arc amongXY,YZandZX. ThenXYis the diagonal you're looking for, as it has at leastn/ 3 vertices on one side and at leastn/ 2 vertices on the other.