MathGroup Archive 2007

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

Search the Archive

Re: Apart question

  • To: mathgroup at smc.vnet.net
  • Subject: [mg73046] Re: Apart question
  • From: Paul Abbott <paul at physics.uwa.edu.au>
  • Date: Tue, 30 Jan 2007 23:56:39 -0500 (EST)
  • Organization: The University of Western Australia
  • References: <epn9uv$cn3$1@smc.vnet.net>

In article <epn9uv$cn3$1 at smc.vnet.net>,
 "dimitris" <dimmechan at yahoo.com> wrote:

> Dear All,
> 
> In[317]:=
> f[x_]:=(x^2+2*x+4)/(x^4-7*x^2+2*x+17)
> 
> In[323]:=
> Apart[f[x]]
> 
> Out[323]=
> (4 + 2*x + x^2)/(17 + 2*x - 7*x^2 + x^4)
> 
> In[320]:=
> Times@@Apply[#1[[1]] - #1[[2]] & , Solve[Denominator[f[x]] == 0, x], 
> 1]
> Apart[(4 + 2*x + x^2)/%]
> Map[FullSimplify, %, 1]
> 
> Out[320]=
> (I/2 - (1/2)*Sqrt[15 - 4*I] + x)*(-(I/2) - (1/2)*Sqrt[15 + 4*I] + 
> x)*((1/2)*(I + Sqrt[15 - 4*I]) + x)*
>   ((1/2)*(-I + Sqrt[15 + 4*I]) + x)
> 
> Out[321]=
> (4*I*((4 + 15*I) + (1 + 2*I)*Sqrt[15 - 4*I]))/(Sqrt[15 - 4*I]*(-2*I + 
> Sqrt[15 - 4*I] - Sqrt[15 + 4*I])*
>     (-2*I + Sqrt[15 - 4*I] + Sqrt[15 + 4*I])*(-I + Sqrt[15 - 4*I] - 
> 2*x)) - (4*I*((-4 - 15*I) + (1 + 2*I)*Sqrt[15 - 4*I]))/
>    (Sqrt[15 - 4*I]*(2*I + Sqrt[15 - 4*I] - Sqrt[15 + 4*I])*(2*I + 
> Sqrt[15 - 4*I] + Sqrt[15 + 4*I])*(I + Sqrt[15 - 4*I] + 2*x)) -
>   (4*((15 + 4*I) + (2 + I)*Sqrt[15 + 4*I]))/(Sqrt[15 + 4*I]*(-2*I + 
> Sqrt[15 - 4*I] - Sqrt[15 + 4*I])*
>     (2*I + Sqrt[15 - 4*I] + Sqrt[15 + 4*I])*(-I - Sqrt[15 + 4*I] + 
> 2*x)) + (4*((-15 - 4*I) + (2 + I)*Sqrt[15 + 4*I]))/
>    (Sqrt[15 + 4*I]*(-2*I - Sqrt[15 - 4*I] + Sqrt[15 + 4*I])*(-2*I + 
> Sqrt[15 - 4*I] + Sqrt[15 + 4*I])*(-I + Sqrt[15 + 4*I] + 2*x))
> 
> Out[322]=
> 1/(1 + Sqrt[-15 + 4*I] - 2*I*x) + 1/(1 - Sqrt[-15 - 4*I] + 2*I*x) + 1/
> (1 + Sqrt[-15 - 4*I] + 2*I*x) -
>   1/(-1 + Sqrt[-15 + 4*I] + 2*I*x)
> 
> In[323]:=
> Options[Apart]
> 
> Out[323]=
> {Modulus -> 0, Trig -> False}
> 
> Why Apart cannot provide straightly the output Out[322]?

Why does Factor not factor the denominator into linear factors? With the 
appropriate extension (Extension -> Automatic does not work), one can 
factor the denominator

  Factor[(x^2 + 2*x + 4)/(x^4 - 7*x^2 + 2*x + 17), 
    Extension -> {Sqrt[-15 + 4*I], Sqrt[-15 - 4*I]}]

and then obtain the desired result using Apart and FullSimplify.

  FullSimplify /@ Apart[%]

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)    
AUSTRALIA                               http://physics.uwa.edu.au/~paul


  • Prev by Date: Re: How to do quickest
  • Next by Date: Re: How to do quickest
  • Previous by thread: Re: Apart question
  • Next by thread: Re: Apart question