Cho đa giác lồi A1A2...An ( n≥3 ); ei→, 1≤i≤n là vectơ đơn vị vuông góc với AiAi+1→ (xem An+1≡A1 ) và hướng ra phía ngoài đa giác. Chứng minh rằng A1A2e1→+A2A3e2→+...+AnA1en→=0→ (định lý con nhím)