Taking the locus of Midpoints from a fixed point to a circle of radius results in a circle of radius . This follows trivially from
References
Johnson, R. A. Modern Geometry: An Elementary Treatise on the Geometry of the Triangle and the Circle. Boston, MA:
Houghton Mifflin, p. 17, 1929.