Message Boards Message Boards

0
|
3362 Views
|
1 Reply
|
1 Total Likes
View groups...
Share
Share this post:

[?] Verify a symbolic equality?

Posted 7 years ago

Hello everyone. Is it possible to verify the following identity in Mathematica?

Sum[Subscript[b, m] z^(-m), {m, 0, M}]/
  Sum[Subscript[a, n] z^(-n), {n, 0, N}] == (Subscript[b, 0]/
    Subscript[a, 
     0]) (Sum[(Subscript[b, m]/Subscript[b, 0]) z^(-m), {m, 0, M}]/
    Sum[(Subscript[a, n]/Subscript[a, 0]) z^(-n), {n, 0, N}])

With == the output is not True or False, it's the same as input.

Thank you for your help.

POSTED BY: Gennaro Arguzzi

Sum does not automatically collect common coefficients, but you can do it with a replacement rule:

collectCoefficientInSum := 
  Sum[(coeff_)*x_, {y_, z__}] /; FreeQ[coeff, y] :> 
   coeff*Sum[x, {y, z}];
(Sum[Subscript[b, m] z^(-m), {m, 0, M}]/
    Sum[Subscript[a, n] z^(-n), {n, 0, N}] == (Subscript[b, 0]/
      Subscript[a, 
       0]) (Sum[(Subscript[b, m]/Subscript[b, 0]) z^(-m), {m, 0, M}]/
      Sum[(Subscript[a, n]/Subscript[a, 0]) z^(-n), {n, 0, 
        N}])) /.
 collectCoefficientInSum
POSTED BY: Gianluca Gorni
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract