MathDB
convex hexagon with sides >1 and 9 diagonals >2

Source: Czech-Polish-Slovak Junior Match 2017, Team p2 CPSJ

March 6, 2020
hexagondiagonalsgeometry

Problem Statement

Decide if exists a convex hexagon with all sides longer than 11 and all nine of its diagonals are less than 22 in length.