A

B

C

A=\{3,6,9\},B=\{1,2,3,6\},C=\{2,4,6,8\}であるとき\
これをベン図の正しい位置に持っていきましょう。

1

2

3

4

5

6

7

8

9

0

判定

A = (3.5511881921301645, 4.713081467708857)
B = (2.8396916342039797, 3.532309590352198)
C = (4.216164424332271, 3.5409125452905)
r = 1 (slider from -5 to 5, step 0.1)
c = Circle(A, r)
d = Circle(B, r)
e = Circle(C, r)
a(x, y) = (x - x(A))^(2) + (y - y(A))^(2) ≤ r^(2)
b(x, y) = (x - x(B))^(2) + (y - y(B))^(2) ≤ r^(2)
f(x, y) = (x - x(C))^(2) + (y - y(C))^(2) ≤ r^(2)
D = Midpoint(Corner[text5, 1], Corner[text5, 3])
E = Midpoint(Corner[text6, 1], Corner[text6, 3])
F = Midpoint(Corner[text7, 1], Corner[text7, 3])
G = Midpoint(Corner[text8, 1], Corner[text8, 3])
H = Midpoint(Corner[text9, 1], Corner[text9, 3])
I = Midpoint(Corner[text10, 1], Corner[text10, 3])
J = Midpoint(Corner[text11, 1], Corner[text11, 3])
K = Midpoint(Corner[text12, 1], Corner[text12, 3])
L = Midpoint(Corner[text13, 1], Corner[text13, 3])
M = Midpoint(Corner[text14, 1], Corner[text14, 3])
boolean1: (¬(a(D))) ∧ b(D) ∧ (¬(f(D)))
boolean2: (¬(a(E))) ∧ b(E) ∧ f(E)
boolean3: a(F) ∧ b(F) ∧ (¬(f(F)))
boolean4: (¬(a(G))) ∧ (¬(b(G))) ∧ f(G)
boolean5: (¬(a(H))) ∧ (¬(b(H))) ∧ (¬(f(H)))
boolean6: a(I) ∧ b(I) ∧ f(I)
boolean7: (¬(a(J))) ∧ (¬(b(J))) ∧ (¬(f(J)))
boolean8: (¬(a(K))) ∧ (¬(b(K))) ∧ f(K)
boolean9: a(L) ∧ (¬(b(L))) ∧ (¬(f(L)))
boolean0: (¬(a(M))) ∧ (¬(b(M))) ∧ (¬(f(M)))
boolean: boolean1 + boolean2 + boolean3 + boolean4 + boolean5 + boolean6 + boolean7 + boolean8 + boolean9 + boolean0

Tool: Tool1
Input: A
Output: h, g

B: (x(A), 0)
C: (0, y(A))
g = Segment(A, C)
h = Segment(A, B)