← RoseCode

ROSECODE 293

Farey polygons I

Philippe_57721 · Programming ·

Consider the Farey sequence of order n.

For instance F4={00,01,14,13,12,23,34,11}
We define Fn(z) by applying a zoom z i.e. multiplying each term by z.

We consider each term of the sequence Fn(z) as a point and join these points respecting the order.
We obtain the Farey polygon Pn(z) of order n and zoom z

P4(2) contains 5 points in its interior.

Find the first Farey polygon Pn(2) whose inside contains (strict) more than 2000 lattice points.

Answer format: n,count


[My timing: 40 sec]