C6

Part of 2017-IMOC

Problems(1)

Polygon with rational lengths

Source: 2017 IMOC, C6

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.

IMOCcombinatoricsgeometry