すべての円は相似なのだから長さの比が一定になるのは自明だと思うんだけど