単位円の面積を π と定義したとき、単位円の円周の長さが 2 * π であることって簡単に示せますか？
これをSpivakさんは知っているものとしているように思います。