MathGroup Archive 2007

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

Search the Archive

showing an expression equal to 0

  • To: mathgroup at smc.vnet.net
  • Subject: [mg73719] showing an expression equal to 0
  • From: "dimitris" <dimmechan at yahoo.com>
  • Date: Sun, 25 Feb 2007 04:41:44 -0500 (EST)

Consider

In[87]:=
expr = ArcTan[y/Sqrt[R^2 - y^2]] - ArcSin[y/R];

The expression for R>0 and -R<y<R is equal to zero

In[72]:=
(Plot[Chop[Evaluate[expr /. R -> #1]], {y, -#1, #1}, Axes -> False,
Frame -> True] & ) /@ Range[5]

Based on Andrzej's resposnse on a recenet message I am able to show
this equality for
given R.

E.g. for R=4 the following demonstrates that expr is equal to zero

In[99]:=
Simplify[expr /. R -> 4 /. y -> 2]

Out[99]=
0

In[97]:=
D[expr /. R -> 4, y]
Factor[%]

Out[97]=
-(1/(4*Sqrt[1 - y^2/16])) + (y^2/(16 - y^2)^(3/2) + 1/Sqrt[16 - y^2])/
(1 + y^2/(16 - y^2))
Out[98]=
0

However not specifying R (but assuming R>0&&-R<y<R) I am not able to
show that
expr is equal to zero.

Any ideas?

Thanks!



  • Prev by Date: Tr[list] vs Plus@@list
  • Next by Date: Re: simple question
  • Previous by thread: Re: Tr[list] vs Plus@@list
  • Next by thread: Re: showing an expression equal to 0