MathAction #345 fails to compute some simple limits

Topics

On March 25, 2007 11:54 AM Ondrej Certik asked:

... how can I calculate the limit:

$\lim_{x \rightarrow +\infty}(3^x+5^x)^{1/x}$

The result is 5 as you can check by hand:

$(3^x+5^x)^{1/x} = 5 <em> ((3/5)^x+1)^{1/x} \rightarrow 5$

When I tried that in axiom:

fricas

limit((3^x+5^x)^(1/x), x=%plusInfinity)

$\label{eq1}5$

Type: Union(OrderedCompletion?(Expression(Integer)),...)

or the equivalent problem:

fricas

limit((3^(1/x)+5^(1/x))^(x), x=0, "right")

$\label{eq2}5$

Type: Union(OrderedCompletion?(Expression(Integer)),...)

I got "failed".

Now it works.

... --kratt6, Thu, 20 Dec 2007 02:11:48 -0800 reply

Category: Axiom Mathematics => Axiom Library