用speed 解決互消的問題

]known.. f(x) = (x + 1) - (x) , ans = Sigma(k = 10 to 100, f(k))

with 表示如果某一項存在，kill 則表示在前述條件成立的時候，哪一項可以刪去。

]with k - 1 kill - (k) ...((1

]with k + 1 kill (k + 1) ...((1

然後代入speed 中，看上下限。

]((1 speed = Sigma(k = 10 to 100, f(k)) = - (10) + (100 + 1) = 91 //在k = 10 這一項裡，with k - 1 是不成立的，所以保留 - (k) 這一項；再k = 100 這一項裡，with k + 1 是不成立的，所以保留 (k + 1) 這一項。

如何列出with 條件，最好就是直接取三個連續參數，代入之後加總，觀察前後兩個參數的"未消去部分"。

]known.. f(x) = (x + 1) - (x)

]f(1) + f(2) + f(3) = (1 + 1) - (1) + (2 + 1) - (2) + (3 + 1) - (3) = - (1) + (3 + 1) //前面的參數"1" 因為沒有1 - 1 所以留下了 - (x) 這一項，後面的參數"3" 因為沒有3 + 1 所以留下了 (x + 1) 這一項。

因此，我們也可以用without 來列條件式。

]without k - 1 not kill - (x)

]without k + 1 not kill (x + 1)