Pass a line (blue) with rational slope a/b through the point (0,1) on a unit circle. The intersection (green circle) of that line with the circle will
always have rational coordinates (x,y). At first this seems counterintuitive since a circle involves π and many other irrational
descriptors (trig functions). But consider the right triangle (red) formed by the point (x,y). There are infinitely many of these triangles
in the unit circle - some of which are Pythagorean triples composed of rational numbers (e.g. 3-4-5 triangle).