In the geometry of numbers, Schinzel's theorem is the following statement:
It was originally proved by and named after Andrzej Schinzel.
Proof
Schinzel proved this theorem by the following construction. If n {\displaystyle n} is an even number, with n = 2 k {\displaystyle n=2k} , then the circle given by the following equation passes through exactly n {\displaystyle n} points:
( x − 1 2 ) 2 + y 2 = 1 4 5 k − 1 . {\displaystyle \left(x-{\frac {1}{2}}\right)^{2}+y^{2}={\frac {1}{4}}5^{k-1}.}
This circle has radius 5 ( k − 1 ) / 2 / 2 {\displaystyle 5^{(k-1)/2}/2} , and is centered at the point ( 1 2 , 0 ) {\displaystyle ({\tfrac {1}{2}},0)} . For instance, the figure shows a circle with radius 5 / 2 {\displaystyle {\sqrt {5}}/2} through four integer points. Multiplying both sides of Schinzel's equation by four produces an equivalent equation in integers,
( 2 x − 1 ) 2 + ( 2 y ) 2 = 5 k − 1 . {\displaystyle \left(2x-1\right)^{2}+(2y)^{2}=5^{k-1}.}
This writes 5 k − 1 {\displaystyle 5^{k-1}} as a sum of two squares, where the first is odd and the second is even. There are exactly 4 k {\displaystyle 4k} ways to write 5 k − 1 {\displaystyle 5^{k-1}} as a sum of two squares, and half are in the order (odd, even) by symmetry. For example, 5 1 = ( ± 1 ) 2 + ( ± 2 ) 2 {\displaystyle 5^{1}=(\pm 1)^{2}+(\pm 2)^{2}} , so we have 2 x − 1 = 1 {\displaystyle 2x-1=1} or 2 x − 1 = − 1 {\displaystyle 2x-1=-1} , and 2 y = 2 {\displaystyle 2y=2} or 2 y = − 2 {\displaystyle 2y=-2} , which produces the four points pictured. On the other hand, if n {\displaystyle n} is odd, with n = 2 k + 1 {\displaystyle n=2k+1} , then the circle given by the following equation passes through exactly n {\displaystyle n} points:
( x − 1 3 ) 2 + y 2 = 1 9 5 2 k . {\displaystyle \left(x-{\frac {1}{3}}\right)^{2}+y^{2}={\frac {1}{9}}5^{2k}.}
This circle has radius 5 k / 3 {\displaystyle 5^{k}/3} , and is centered at the point ( 1 3 , 0 ) {\displaystyle ({\tfrac {1}{3}},0)} .
Properties The circles generated by Schinzel's construction are not the smallest possible circles passing through the given number of integer points, but they have the advantage that they are described by an explicit equation.
References

