>>429
半径1/√2で接するわけないし
その4点を通る事は、式に入れてみれば明らか。