root <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
