考虑 的正方形方格表中的 个格点。
则通过至少 个格点的不同直线的数目为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
三个格点同线时,相邻格点的最简整数方向步长在两个坐标上均不超过二,故只须按少数方向分类。
取格点坐标为 。任一格点直线有互素的整数方向向量 。若它至少含三个格点,最远两点至少跨两个方向步,故 。不同的无向方向仅为水平、竖直、斜率正负一、正负二及正负二分之一。 水平与竖直各五条。斜率一时直线 须 ,共五条;斜率负一同样五条。斜率二的三点必须从纵坐标零到四,起点横坐标可为零、一、二,共三条;其三个对称方向也各三条。合计 条。
最简方向避免把 与 重复计入。三点之间即使另隔格点,最远跨度只会更大,方向界仍必要;列出的每条线确至少含三个格点。
格点共线计数先压缩到互素方向,再按横纵跨度限方向,最后数每个方向的不同平移线。
须先证明最简整数方向的有限范围,避免方向重复,再逐方向计不同直线而不是计三点组。
已记下,谢谢!