IMO 1976 LL USS44

A circle of radius 1 rolls around a circle of radius

IMO 1976 LL USS44

Origin: USS

Problem

A circle of radius 1 rolls around a circle of radius \sqrt