No.172

第一象限のみ考える.

UFO が結界に接するとき, 接点は $(x + r/\sqrt{2}, y + r/\sqrt{2})$ となる, 結界をこれより大きくすればいい.