Problem

Source: 2017 IMOC, C6

Tags: IMOC, combinatorics, geometry



Consider a convex polygon in a plane such that the length of all edges and diagonals are rational. After connecting all diagonals, prove that any length of a segment is rational.