Aperiodic set of prototiles seen on the list of aperiodic sets of tiles. The underlying undecidability of the domino problem implies that there exists no systematic procedure for deciding whether a given set of tiles can tile the plane. Polygons are plane figures which are bounded by straight line segments. Regular polygons have all sides of equal length as well as all angles of equal measure. As early as AD 325, Pappus of Alexandria knew that only 3 types of regular polygons (the square, equilateral triangle, and hexagon) can fit perfectly together in repeating tessellations on a Euclidean plane. Within that plane, every triangle,
Regular polygon "n"-gon, the sum of the perpendicular distances from any interior point to the "n" sides is "n" times the apothem (the apothem being the distance from the center to any side). This is a generalization of Viviani's theorem for the "n"=3 case. The circumradius "R" from the center of a regular polygon to one of the vertices is related to the side length "s" or to the apothem "a" by For constructible polygons, algebraic expressions for these relationships exist; see Bicentric polygon#Regular polygons. The sum of the perpendiculars from a regular "n"-gon's vertices to any line tangent to the circumcircle