領域

二つの一次不等式を連立させた形で表される領域を描きましょう。

赤い点は緑の点の右上に、
青い点は緑の点の左上に
なるようにしてください。

領域変更

正解

赤い点は緑の点の右上に，
青い点は緑の点の左上に
なるようにしてください．

e1(x, y) = ((-1.1)  <  x) ∧ (x  <  1.1) ∧ ((-1.1)  <  y) ∧ (y  <  1.1)
e2(x, y) = (x > 1.1) ∧ (y > 1.1)
e3(x, y) = (x  <  (-1.1)) ∧ (y > 1.1)
C = PointIn(e3)
ax = Random(-1, 1)
ay = Random(-1, 1)
bx: ax + (Random[1, 2] * 2)
by: ay + (Random[1, 2] * 2) - 1
f1 = Expand(((bx - ax) * (y - ay)) - ((x - ax) * (by - ay)))
cy: ay + (Random[1, 2] * 2)
cx: ax - (Random[1, 2] * 2) + 1
f2 = Expand(((x - cx) * (ay - cy)) - ((ax - cx) * (y - cy)))
n1: (Random[0, 1] * 2) - 1
n2: (Random[0, 1] * 2) - 1
text1 = If(n1 ≟ 1, "\ge ", "\le ")
text2 = If(n2 ≟ 1, "\ge ", "\le ")
n = 3
s1 = If(n ≟ 0 ∨ n ≟ 3, 1, -1)
s2 = If(n ≟ 0 ∨ n ≟ 1, 1, -1)
A = (0, 0)
B = (2, 2)
fa(x, y) = ((x(B) - x(A)) * (y - y(A))) - ((x - x(A)) * (y(B) - y(A)))
fb(x, y) = ((x - x(C)) * (y(A) - y(C))) - ((x(A) - x(C)) * (y - y(C)))
e4(x, y) = ((fa(x, y) * s1) ≥ 0) ∧ ((fb(x, y) * s2) ≥ 0)
ans1: ax ≟ x(A) ∧ ay ≟ y(A)
text3: "" + (LaTeX[f1]) + "" + (LaTeX[text1]) + "0, " + (LaTeX[f2]) + "" + (LaTeX[text2]) + "0 を表してください．"
ans2: n1 ≟ s1 ∧ n2 ≟ s2
ans4: f2(x(C), y(C)) ≟ 0
ans3: f1(x(B), y(B)) ≟ 0