Advertisement
Guest User

Untitled

a guest
Jun 16th, 2019
87
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.66 KB | None | 0 0
  1. Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}]]
  2.  
  3. Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}],
  4. Assumptions -> {1 < n < 100, n [Element] Integers, 0 < A[_] < 100}]
  5.  
  6. Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}],
  7. Assumptions -> {n == 100}]
  8.  
  9. 2 Sum[A[i], {i, n}] == Sum[2 A[i], {i, n}] /. Sum[k_ x_, {y_, z_}] :> k Sum[x, {y, z}]
  10.  
  11. rule = Sum[Times[Longest[u___], x___] , {y_, z_}] :>
  12. Times[u] Sum[Times[x], {y, z}] /; (FreeQ[{u}, y]);
  13. Sum[b[j] 2 A[i], {i, n}] /. rule
  14.  
  15. With[{n = 5},
  16. Resolve[ForAll[Evaluate@Array[A, n],
  17. 2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}]]]]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement