22/12/31 09:20:03.72 RFpv/yWr.net
>>270
間違えた 修正
c≠0としてよい 直線y=-x/c-b/cの傾きは0でない
y切片が1より大きい直線のとき 傾きが正であればy=h(x)とx<0で共有点を持ち
傾きが負ならx>0に共有点がある
y切片が1未満の直線は傾きが負ならx<0に確実に共有点がある
傾きが正ならx>0に確実に共有点がある
y=-x/c-b/cがy=h(x)と共有点を持つ
↔y切片が1でないかまたはy切片が1で傾きの絶対値が1/π以下である
↔b≠-c または b=-cかつπ≦│c│
これとb^2-4c<0を合わせると
b^2<4cかつb≠-c または b^2<4cかつb=-cかつπ≦c<4 だから
b^2<4c かつ (b≠-c または π≦c<4)