Inside the shoemaker's knife, draw the line straight up from C. On each side of it there is exactly one circle that touches the line, the big arc and the small arc. Archimedes showed that the two are always the same size, wherever C is.
The source code is at github.com/KirillOsenkov/LiveGeometry. It is written in .NET and Avalonia.