Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}]]
- Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}],
- Assumptions -> {1 < n < 100, n [Element] Integers, 0 < A[_] < 100}]
- Simplify[2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}],
- Assumptions -> {n == 100}]
- 2 Sum[A[i], {i, n}] == Sum[2 A[i], {i, n}] /. Sum[k_ x_, {y_, z_}] :> k Sum[x, {y, z}]
- rule = Sum[Times[Longest[u___], x___] , {y_, z_}] :>
- Times[u] Sum[Times[x], {y, z}] /; (FreeQ[{u}, y]);
- Sum[b[j] 2 A[i], {i, n}] /. rule
- With[{n = 5},
- Resolve[ForAll[Evaluate@Array[A, n],
- 2 Sum[A[i], {i, 1, n}] == Sum[2 A[i], {i, 1, n}]]]]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement