In a rational polygon, the distance between any two vertices is a rational number.
Let be the pedal triangle or the antipedal triangle of any point with respect to the triangle .
A theorem states that is a rational quadrilateral if and only if is a rational quadrilateral.
In this Demonstration, rational values , , , and are used to generate a pair of rational pedal-antipedal triangles and that correspond to the rational point .