MathDB
n-gon and congruences

Source: RS2004

March 20, 2005
modular arithmeticinductioncombinatorics proposedcombinatorics

Problem Statement

A convex nn-gon A1A2AnA_1A_2\dots A_n (n>3)(n>3) is divided into triangles by non-intersecting diagonals. For every vertex the number of sides issuing from it is even, except for the vertices Ai1,Ai2,,AikA_{i_1},A_{i_2},\dots,A_{i_k}, where 1i1<<ikn1\leq i_1<\dots<i_k\leq n. Prove that kk is even and ni1i2++ik1ik(mod3)n\equiv i_1-i_2+\dots+i_{k-1}-i_k\pmod3 if k>0k>0 and n\equiv0\pmod3\mbox{ for }k=0. Note that this leads to generalization of one recent Tournament of towns problem about triangulating of square.