Question: Why does Maple not simplify to infinity?

Evaluating this integral

Int(1/(sqrt(1-x)*sqrt(-x^2+1)), x = 0 .. 1); ((proc (x) options operator, arrow; x end proc) = value)(%)

Int(1/((1-x)^(1/2)*(-x^2+1)^(1/2)), x = 0 .. 1) = infinity*(Pi+1)

(1)

simplify(Int(1/((1-x)^(1/2)*(-x^2+1)^(1/2)), x = 0 .. 1) = infinity*(Pi+1))

Int(1/((1-x)^(1/2)*(-x^2+1)^(1/2)), x = 0 .. 1) = infinity

(2)

NULL

produces an infinite product as output. Why does Maple not automatically simplify to infinity. Can the extra information (1+pi) be of any use?


Download Infinity_times_something.mw

 

Please Wait...