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.