dimitris
unread,Oct 20, 2011, 7:44:22 AM10/20/11You do not have permission to delete messages in this group
Sign in to report message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to
I would like to add some background for the expression.
This expression arose when I tried to evaluate with Mathematica the
following indefinite integral
intMath=Integrate[1/((x^2 + x + 1)*Sqrt[x^2 - x + 1]), x]
and Mathematica produced above lengthy expression.
This integral appeared in another forum.
What it is very interesting is that the person who mentioned the
integral gave an expression
for the antiderivative which is just:
intUser=ArcTan[(Sqrt[2]*(1 + x))/Sqrt[1 - x + x^2]]/Sqrt[2] +
ArcTanh[(Sqrt[2/3]*(-1 + x))/Sqrt[1 - x + x^2]]/Sqrt[6];
As you can see this is a correct antiderivative since
D[intUser, x] - 1/((x^2 + x + 1) Sqrt[x^2 - x + 1]) // FullSimplify
0
User's antiderivative and Mathematica's differ just a single constant:
Chop[Table[intUser - intMath /. x -> RandomReal[{-1000, 0}], {20}]]
Chop[Table[intUser - intMath /. x -> RandomReal[{0, 1000}], {20}]]
(*output omitted*)
I have tried with a lot of ways to simplify Mathematica's lengthy
expression, just by curiosity, trying every way
I know (and I remember! It has been a lot time since I dealt with
procedures like this.)
But I thought it will be an interesting thread for many people in this
forum!
Dimitris
P.S. It doesn't have a connection with my original query, but just for
the record:
User's antiderivative is continuous in the whole real axis.
Mathematica is not.