Dear Maple friends~
Recently I am thinking a question about how to use Maple to prove an equation based on a known partial differential equationand its boundary conditions.
Although I can Prove it with hand computation ,it still has some difficulty and it will be really hard if its partial differential equation become more complex(As a matter of fact, it will happen).So I think of Maple and want to take advantage of computer.However,I get few ideas how to realize it .The details are as follows：
N:=5;#actually N can be any positive integer!
#try to prove the following equation
The written proof is as follows:
Therfore,I submit such a problem and look forward your solutions and suggestions sincerely~