[math-fun] Lie (circle) geometry