MathDB
Polygon with rational lengths

Source: 2017 IMOC, C6

December 31, 2021
IMOCcombinatoricsgeometry

Problem Statement

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.