For how many positive integers does there exist a right angle isosceles triangle on the Cartesian plane with the property that the vertices are lattice points and exactly lattice points are situated on the perimeter?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Let's try some simple cases first so we can get something inspired for the actual proof.
If the perpendicular sides are parallel to the coordinate axes, we find that we can generate all multiples of 3.
Now we try if the vertices are ( 0 , 0 ) , ( 1 , 1 ) and ( 1 , − 1 ) . This gives us 4 lattice points, and if we continue doing triangles of the form ( 0 , 0 ) , ( m , m ) and ( m , − m ) , we find we can generate all multiples of 4.
Now we will try the proof and see fi we can get something like the above results.
For sake of convenience, we can assume the apex of the triangle is ( 0 , 0 ) , and the other vertices are ( m , n ) and ( n , − m ) . Note that the number of lattice points between the origin and ( m , n ) is gcd ( m , n ) + 1 . The same holds true for the number of lattice points between the origin and ( n , − m ) . To count the number of lattice points on the hypotenuse, we translate the side so one of the vertices (assume it's ( n , − m ) ) is now at ( 0 , 0 ) . Thus, the other vertex must be at ( m − n , m + n ) , so the number of lattice points on the hypotenuse must be gcd ( m + n , m − n ) + 1 .
Let k = gcd ( m , n ) . We must have that k ∣ m and k ∣ n , so k ∣ m + n , m − n . Thus, k ∣ gcd ( m + n , m − n ) .
Let l = gcd ( m + n , m − n ) . We must have l ∣ m + n and l ∣ m − n , so l ∣ 2 m , 2 n . Thus, either k = l if l is odd or 2 k = l if l is even. Note that l is odd if m and n have different parities and l is even if m and n have the same parity.
Thus, if we m and n have different parity, we get there are 3 l lattice points on the triangle (thus generating all multiples of 3), and if m and n have the same parity, we get there are 4 l lattice points on the triangle (thus generating all multiples of 4).
We already have a pair of constructions satisfying these two properties, so we are done!
Now all that remains is to count the number of positive integers which satisfy. By PIE, we have
⌊ 3 2 0 1 6 ⌋ + ⌊ 4 2 0 1 6 ⌋ − ⌊ 1 2 2 0 1 6 ⌋ = 1 0 0 8
Therefore, our answer is 1 0 0 8 .