Re: [Axiom-developer] Schaums help

[Martin Rubey]

root <address@hidden> writes:
> If you compute
> aa:=integrate(1/(x*sqrt(x^n-a^n)),x)
> bb:=2/(n*sqrt(a^n))*acos(sqrt(a^n/x^n))
> cc1:=aa.1-bb
> cc2:=aa.2-bb

at least 
ex := 1/(x*sqrt(x^n-a^n))
normalize(D(aa.1,x)-ex)
normalize(D(aa.2,x)-ex)

both return 0. Also

expRule := rule %e^(n*log x) == x^n
(20) -> expRule normalize(bb-aa.2)

                                           +-------+
                                           | n    n
                                           |x  - a
                  +--+ +-------+           |-------
                  | n  | n    n            |    n
                 \|a  \|x  - a            \|   x
         - 2atan(---------------) + 2atan(----------)
                         n                    +--+
                        a                     | n
                                              |a
                                              |--
                                              | n
                                             \|x
   (20)  --------------------------------------------
                              +--+
                              | n
                            n\|a
                                                     Type: Expression Integer

seems to be zero.

Martin