>>25
デカルト座標上で「円」を定義すれば、>>17は自明。
ユークリッド原論では、円と円の相似を証明どころか、
「円と円が相似である」とはどういう意味かを
そもそも定義していない。