Mathematica 9 is now available
Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2008

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

Search the Archive

Re: How to simplify ArcCos[x/Sqrt[x^2+y^2]] to Pi/2-ArcTan[x/Abs[y]]?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg91866] Re: [mg91799] How to simplify ArcCos[x/Sqrt[x^2+y^2]] to Pi/2-ArcTan[x/Abs[y]]?
  • From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
  • Date: Thu, 11 Sep 2008 06:12:54 -0400 (EDT)
  • References: <200809080903.FAA25833@smc.vnet.net>

I don't think there is a way to "simplify" one of these expressions  
into the other, but one can use Mathematica as an aid in proving that  
they are equal (for real x and y). One way to do this is:

expres = {ArcCos[x/Sqrt[x^2 + y^2]], Pi/2 - ArcTan[x/Abs[y]]};

Subtract @@ Assuming[Element[x | y, Reals], Simplify[Sin /@ expres]]
0

Subtract @@ Assuming[Element[x | y, Reals], Simplify[Cos /@ expres]]
0

So for real x and y, the two expressions have equal sines and cosines.  
That means that they must differ by an integer multiple of 2Pi.  
However, since the difference is a continuous function of x and y, it  
has to be constant. Now, putting (for example) x=0, y=1, we see that  
the constant must be zero, hence they are equal.

Andrzej Kozlowski


On 8 Sep 2008, at 18:03, Peng Yu wrote:

> Hi,
>
> ArcCos[x/Sqrt[x^2+y^2]]
>
> and
>
> Pi/2-ArcTan[x/Abs[y]]
>
> are the same.
>
> But I can not get the first expression be simplified to the second
> one. And the following command can not be simplified to zero in
> mathematica as well.
>
> FullSimplify[ArcCos[x/Sqrt[x^2 + y^2]] - ( Pi/2 - ArcTan[x/Abs[y]]),
> Element[x, Reals] && Element[y, Reals]]
>
> I'm wondering if there is any walkaround to do this simplification.
>
> Thanks,
> Peng
>



  • Prev by Date: Problems with Frame in ListPlots with Legends
  • Next by Date: Re: How I can fit data with a parametric equation?
  • Previous by thread: Re: Re: How to simplify ArcCos[x/Sqrt[x^2+y^2]] to Pi/2-ArcTan[x/Abs[y]]?
  • Next by thread: Re: Re: How to simplify ArcCos[x/Sqrt[x^2+y^2]] to Pi/2-ArcTan[x/Abs[y]]?