Problema 3 - IMO 2016 - Área de un polígono cíclico de coordenadas enteras.

Sea $P=A_1A_2 \dots A_k$ un polígono convexo en el plano. Los vértices $A_1, A_2, \dots, A_k$ tienen coordenadas enteras y están sobre un círculo. Sea $\mathcal{S}$ el área de $P$. Los cuadrados de las los lados de $P$ son todos divisibles por un entero dado $n$. Demuestra que $2\mathcal{S}$ es divisible por $n$,

Traducido del inglés.