09/10/16 12:46:43 BP7Q3Mjb0
>>443
どの部分が疑問なのか分からない。
Pバーの境界線上の4点の座標を、Qバーの不等式に代入してあるだけだよ？
なぜその4点を代入するのかは、やや直観的な部分はあるが、
Qバーの境界線と同じ傾きの接線の接点だよね。
円というのは外に膨らんだ（凸な）図形だから、接線より外に出る部分は存在しない。
だからこの4点がQバーに含まれれば、全体がQバーに含まれる。
09/10/16 12:46:43 BP7Q3Mjb0
>>443
どの部分が疑問なのか分からない。
Pバーの境界線上の4点の座標を、Qバーの不等式に代入してあるだけだよ？
なぜその4点を代入するのかは、やや直観的な部分はあるが、
Qバーの境界線と同じ傾きの接線の接点だよね。
円というのは外に膨らんだ（凸な）図形だから、接線より外に出る部分は存在しない。
だからこの4点がQバーに含まれれば、全体がQバーに含まれる。