Counting intersections of rational cyclic grids: an application of Smith normal form
Choose two points from equally spaced grids on a circle. How many choices put both their sum and their difference on specified target grids? A small example leads from fractions to integer congruences. We then use classical Smith normal form to obtain the exact count, carefully allowing the two input grids to have diff...