MathGroup Archive 2004

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: How to simplify to a result that is real

  • To: mathgroup at smc.vnet.net
  • Subject: [mg50821] Re: How to simplify to a result that is real
  • From: Paul Abbott <paul at physics.uwa.edu.au>
  • Date: Wed, 22 Sep 2004 04:51:59 -0400 (EDT)
  • Organization: The University of Western Australia
  • References: <20040921115025.QQQW18891.lakermmtao10.cox.net@smtp.east.cox.net> <ciqv1p$ihc$1@smc.vnet.net>
  • Sender: owner-wri-mathgroup at wolfram.com

In article <ciqv1p$ihc$1 at smc.vnet.net>,
 Richard Chen <richard at doubleprime.com> wrote:

> Your procedure indeed works. However, the repeated use of
> ComplexExpand with TrigToExp sandwitched in between is hardly
> something people can come up with regularly. 
> 
> ArcTan[x,y] is indeed different from ArcTan[y/x] in general. 
> But the problem is that under our assumptions of a>b>0,0<c<Pi they
> are the same. It is the defect of the current version of mathematica
> not being able to recognize this that is the cause of the problem.
> Otherwise, the relatively simple command
> 
> FullSimplify[ComplexExpand[
> Integrate[1/(a + b Cos[t]), {t, 0, c}, 
> Assumptions -> {a > b > 0, 0 < c < Pi}], 
> TargetFunctions -> {Re, Im}], {a > b > 0, 0 < c < Pi}]
> 
> will suffice to yield the final concise result.

How about

  SetOptions[Integrate, GenerateConditions -> False]; 
  
  Simplify[Integrate[1/(a + b Cos[t]), {t, 0, c}], a > b > 0]

FullSimplify yields a slightly simpler result in terms of ArcCot instead 
of ArcTan.

Cheers,
Paul

-- 
Paul Abbott                                   Phone: +61 8 6488 2734
School of Physics, M013                         Fax: +61 8 6488 1014
The University of Western Australia      (CRICOS Provider No 00126G)         
35 Stirling Highway
Crawley WA 6009                      mailto:paul at physics.uwa.edu.au 
AUSTRALIA                            http://physics.uwa.edu.au/~paul


  • Prev by Date: Re: Telling Mathematica that a symbol is going to be a List?
  • Next by Date: Re: Telling Mathematica that a symbol is going to be a List?
  • Previous by thread: Re: Re: Re: Re: How to simplify to a result that is real
  • Next by thread: Re: Re: How to simplify to a result that is real