A hypocycloid is the curve drawn by a point on a small circle rolling inside a larger circle. The parametric equations of a hypocycloid centered at the origin, and starting at the right most point is given by:
Where is the radius of the large circle and the radius of the small circle.
Let be the set of distinct points with integer coordinates on the hypocycloid with radius R and r and for which there is a corresponding value of t such that and are rational numbers.
Let be the sum of the absolute values of the and coordinates of the points in .
Let be the sum of for R and r positive integers, and .
You are given:
=
=
Note: is not an element of because is not a rational number for the corresponding values of .
.
Find .
Write-up coming later
The complete problem is available here. An approach, code, and answer will be added later.