絕對值不等式(1)
Author: 藍邦偉  老師

n(A)\cup{}n(B)=n(A)+n(B)-n(A\cap{}B)

n(B)

n(A\cap{}B)

n(A\cup{}B)

n(A)

n(A-B)

n(A)

n(B)

n(B-A)

D_1 = (27, -13)
W = (-7, -13)
N = (-7, -2)
N_1: N + (15.0, 0.0)
W' = Translate(W, Vector[Vector[N, N_1]])
W'' = Translate(D_1, Vector[Vector[W, W']])
a_1: y(Corner[3.0] - Corner[2.0])
a_2: a_1 / 20.0
K_1: (x(Corner[1.0]), 0.0)
K_2: (x(Corner[2.0]), 0.0)
A = (-2.732797096211796, 2.751904153699515)
B = (2.251382178363415, 2.6965243839820126)
d = Circle(B, 4.0)
C = (17.294411398249707, 2.511921853923467)
D = (35.350325898388306, 2.511921853923467)
f = Circle(D, 4.0)
E = (-3, -7)
g = Circle(E, 3.0)
F = (3, -7)
h = Circle(F, 4.0)
G, H = Intersect(h, g)
k = CircleArc(F, H, G)
p = CircleArc(E, G, H)
a = Segment(H, G)
c = Circle(A, 3.0)
e = Circle(C, 3.0)
I = (-2.2604846830324727, -8.11722026691284)
J, K = Intersect(c, d)
K'_1 = Translate(K, Vector[Vector[A, I]])
J'_1 = Translate(J, Vector[Vector[A, I]])
B'_1 = Translate(B, Vector[Vector[A, I]])
q = CircleSector(B'_1, J'_1, K'_1)
r = Circle(I, J'_1)
L = (17.226275871834087, -8.185355793328457)
A'_1 = Translate(A, Vector[Vector[B, L]])
J'_2 = Translate(J, Vector[Vector[B, L]])
K' = Translate(K, Vector[Vector[B, L]])
c_1 = Circle(L, J'_2)
d_1 = CircleArc(A'_1, K', J'_2)
e_1 = CircleSector(A'_1, K', J'_2)
M = (35.48659695121954, -10.093150532965742)
J' = Translate(J, Vector[Vector[K, M]])
A' = Translate(A, Vector[Vector[K, M]])
B' = Translate(B, Vector[Vector[K, M]])
s = CircleArc(A', M, J')
t = CircleArc(B', J', M)
N_2: N + (0.0, 9.0)
N_3: N_1 + (0.0, 9.0)
多邊形1, n, n_2, n_3, n_1 = Polygon(N, N_2, N_3, N_1)
O = (10, -2)
P = Translate(N_1, Vector[Vector[N, O]])
Q = Translate(N_2, Vector[Vector[N, O]])
R = Translate(N_3, Vector[Vector[N, O]])
多邊形2, o, p_1, r_1, q_1 = Polygon(O, P, R, Q)
S = (27, -2)
T = Translate(N_1, Vector[Vector[N, S]])
U = Translate(N_2, Vector[Vector[N, S]])
V = Translate(N_3, Vector[Vector[N, S]])
多邊形3, s_1, u, v, t_1 = Polygon(S, U, V, T)
Z = Translate(N_2, Vector[Vector[N, N_1]])
W_1: W + (0.0, 9.0)
W_2: W' + (0.0, 9.0)
多邊形4, w, w_1, w_2, w' = Polygon(W, W_1, W_2, W')
A_1 = (10, -13)
A_2 = Translate(W', Vector[Vector[W, A_1]])
B_1 = Translate(W_1, Vector[Vector[W, A_1]])
C_1 = Translate(W_2, Vector[Vector[W, A_1]])
多邊形5, a_3, a_4, c_2, b_1 = Polygon(A_1, A_2, C_1, B_1)
X: D_1 + (0.0, 9.0)
E_1: W'' + (0.0, 9.0)
多邊形7, d_2, L_1, e_3, w''_1 = Polygon(D_1, X, E_1, W'')