Here I wish to consider a special case of hypocycloids where the radius r of the rolling circle k is exactly half that of the fixed circle K,
- the tracing point lies on the rolling circle
- the tracing point lies inside the rolling circle
Consider two positions k and k1 of the rolling circle. Point P1 on k1 corresponds to the point P where the small circle k touched K. Let M and m1 be the centers of the circles K and k1, respectively. Let Q be the point of contact between K and k1.
Since the circles roll without slipping, the arc QP1 of k1 is congruent with the arc QP of k. Furthermore, since k is half the size of K, it follows that
That P has been chosen as the point where two circles K and k touch is absolutely immaterial. In the course of the motion any point on k sooner or later will touch K. Therefore, our argument would apply to that point as well.
Hypotrachoids with r = R/2 degenerate into ellipses.
In the process of rolling, the arc ST, where S and T are the two ends of a diameter of k, corresponds to one quarter of the circumference of K. Therefore, by Proposition 1, S and T move on two perpendicular diameters, s and t, of K. Changing the viewpoint, this is exactly the case of a ladder sliding off a wall, the problem we considered elsewhere.
One related problem
In the middle of a city park there is a large circular playing area. The city council would like to put a diamond shaped wading pool inside the circular area. It's known that
More of hypocycloids
You may have noticed that all hypocycloids (unlike hypotrachoids) have cusps. The number of cusps is equal to the ratio of the two radii provided that the ratio is integer. In case of three cusps, the segment of the tangent which is inside the curve has constant length irrespective of its position.
The hypocycloid with four cusps is called astroid. If we restrict ourselves to segments of tangents cut by the two perpendicular axes of symmetry then a similar property will hold - these segments have constant length. Both statements stem from the Two-circles theorem [Lines and Curves, 153-154]:
Let two circles - one of radius twice that of the other - roll over the same curve always staying in touch. Suppose that the (fixed) diameter KL of the bigger circle was chosen such that at the start point K and point M on the smaller circle both coincided with a point on the curve. Then KL is tangent to the trajectory of point M.
- D. Hilbert and S. Cohn-Vossen, Geometry and Imagination, Chelsea Publishing Co, NY 1990.
- V. Gutenmacher, N. Vasilyev, Lines and Curves: A Practical Geometry Handbook , Birkhauser; 1 edition (July 23, 2004)