18/08/09 12:57:43.44 sUCqByCF.net
>>784
(b)
a = (a_1, …, a_n) ∈ [c_1, d_1] × … × [c_n, d_n]
b = (b_1, …, b_n) ∈ [c_1, d_1] × … × [c_n, d_n]
0 ≦ t ≦ 1
とする。
c_i ≦ a_i ≦ d_i
c_i ≦ b_i ≦ d_i
(1-t)*c_i ≦ (1-t)*a_i ≦ (1-t)*d_i
t*c_i ≦ t*b_i ≦ t*d_i
c_i = (1-t)*c_i + t*c_i ≦ (1-t)*a_i + t*b_i ≦ (1-t)*d_i + t*d_i = d_i
∴
a + t*(b - a) ∈ [c_1, d_1] × … × [c_n, d_n]
a = (a_1, …, a_n) ∈ (c_1, d_1) × … × (c_n, d_n)
b = (b_1, …, b_n) ∈ (c_1, d_1) × … × (c_n, d_n)
0 < t < 1
とする。
c_i < a_i < d_i
c_i < b_i < d_i
(1-t)*c_i < (1-t)*a_i < (1-t)*d_i
t*c_i < t*b_i < t*d_i
c_i = (1-t)*c_i + t*c_i < (1-t)*a_i + t*b_i < (1-t)*d_i + t*d_i = d_i
∴
a + t*(b - a) ∈ [c_1, d_1] × … × [c_n, d_n]
t = 0 のとき
a + t*(b - a) = a = (a_1, …, a_n) ∈ (c_1, d_1) × … × (c_n, d_n)
t = 1 のとき
a + t*(b - a) = b = (b_1, …, b_n) ∈ (c_1, d_1) × … × (c_n, d_n)