2-D World
2-D Definitions
A rational point is any element of , or a point of the form (x,y) such that x, and y are rational numbers.
A rational line can be written ax+by=c where a, b, and c are rational numbers.
A rational segment lies on a rational line and has rational endpoints.
Rational polygons are defined by rational segments.
A rational circle is the set of rational points satisfying (x-a)^2+(y-b)^2=r^2, where a, b, and r are rational.
Using the applet, verify Euclid's five postulates using the definitions above.