Advertisement
Guest User

Untitled

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