Gamit ang kahulugan ng tagpo, paano mo napatunayan na ang pagkakasunod-sunod ng {2 ^ -n} ay nakakatipon mula sa n = 1 hanggang infinity?

Gamit ang kahulugan ng tagpo, paano mo napatunayan na ang pagkakasunod-sunod ng {2 ^ -n} ay nakakatipon mula sa n = 1 hanggang infinity?
Anonim

Sagot:

Gamitin ang mga katangian ng pag-exponential function upang matukoy ang N tulad ng # | 2 ^ (- n) -2 ^ (- m) | <epsilon # sa bawat # m, n> N #

Paliwanag:

Ang kahulugan ng tagpo ay nagsasaad na ang # {a_n} # Nagtatagpo kung:

#AA epsilon> 0 "" EE N: AA m, n> N "" | a_n-a_m | <epsilon #

Kaya, ibinigay #epsilon> 0 # tumagal #N> log_2 (1 / epsilon) # at # m, n> N # may #m <n #

Bilang #m <n #, # (2 ^ (- m) - 2 ^ (- n))> 0 # kaya nga # | 2 ^ (- m) - 2 ^ (- n) | = 2 ^ (- m) - 2 ^ (- n) #

# 2 ^ (- m) - 2 ^ (- n) = 2 ^ (- m) (1- 2 ^ (m-n)) #

Ngayon bilang # 2 ^ x # ay laging positibo, # (1- 2 ^ (m-n)) <1 #, kaya

# 2 ^ (- m) - 2 ^ (- n) <2 ^ (- m) #

At bilang # 2 ^ (- x) # ay mahigpit na bumababa at #m> N> log_2 (1 / epsilon) #

# 2 ^ (- m) - 2 ^ (- n) <2 ^ (- m) <2 ^ (- N) <2 ^ (- log_2 (1 / epsilon) #

Ngunit:

# 2 ^ (- log_2 (1 / epsilon)) = 2 ^ (log_2 (epsilon)) = epsilon #

Kaya:

# | 2 ^ (- m) - 2 ^ (- n) | <epsilon #

Q.E.D.