MathGroup Archive 2011

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

Search the Archive

Re: RE: Re: How to simplify ArcSin formula

  • To: mathgroup at smc.vnet.net
  • Subject: [mg123315] Re: RE: Re: How to simplify ArcSin formula
  • From: Alexei Boulbitch <Alexei.Boulbitch at iee.lu>
  • Date: Thu, 1 Dec 2011 05:51:51 -0500 (EST)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • References: <201111301205.HAA19862@smc.vnet.net>

Of course, Andrzej, you are right. And it is quite clear, where these assumptions are hidden.

However, looking for a complete analysis of this (rather simple) problem is not the content of question asked, and it is not my task. The question is: "I am interested in finding out, in general, how to manipulate formulas of this type". My answer shows one way of such a manipulation. I am sure one may point out a couple of other ways.

Once I have already formulated here my attitude, but repeat it in the context of the present case.

I believe that in such a situation the complete analysis of the expression from the mathematical point of view is the "homework" of the one asking the question and (presumably) personally interested in the result. Indeed, if it is a student, the problem may be a part of his University task, and making his job you participate in falsification. If the question is asked by a scientist or an engineer, it is most probably a part of his/her job. Then he gains money for the solution that you do for him.

I believe that my role here may only be in helping one by showing him a specific Mathematica trick (of course, if I know one) that does not belong to general mathematics, (physics, biology and so on) and may take too much time to find it out. This is already a great help. At least, for me it is. All the rest is the business of the one asking a question.

Best regards, Alexei
     

Alexei BOULBITCH, Dr., habil.
IEE S.A.
ZAE Weiergewan,
11, rue Edmond Reuter,
L-5326 Contern, LUXEMBOURG

Office phone :  +352-2454-2566
Office fax:       +352-2454-3566
mobile phone:  +49 151 52 40 66 44

e-mail: alexei.boulbitch at iee.lu


-----Original Message-----
From: Andrzej Kozlowski [mailto:akoz at mimuw.edu.pl]
Sent: Mittwoch, 30. November 2011 13:01
To: Alexei Boulbitch
Cc: mathgroup at smc.vnet.net
Subject: [mg123315] Re: How to simplify ArcSin formula

You are making several assumptions which hide the actual complexity of the situation. The expression is only zero for a certain range of parameter values, as can be clearly seen from this graph:


Plot3D[Chop[
  t + ArcSin[aa] -
   ArcSin[aa Cos[t] + Sqrt[1 - aa^2] Sin[t]]], {t, -Pi/2,
  Pi/2}, {aa, -1, 1}, AxesLabel -> {"t", "aa", "x"}]


Andrzej Kozlowski


On 30 Nov 2011, at 13:05, Alexei Boulbitch wrote:

> Hi, David,
>
>
>
> You should help Mathematica understanding what you would like to get. I would do it like follows:
>
>
>
> xxx = t + ArcSin[aa] - ArcSin[aa Cos[t] + Sqrt[1 - aa^2] Sin[t]];
>
>
>
> xxx1 = xxx /. aa -> Sin[\[CurlyPhi]] /.
>
>  Sqrt[1 - Sin[\[Alpha]_]^2] -> Cos[\[Alpha]]
>
>
>
> This gives you
>
>
>
> t + ArcSin[Sin[\[CurlyPhi]]] -
>
> ArcSin[Cos[\[CurlyPhi]] Sin[t] + Cos[t] Sin[\[CurlyPhi]]]
>
>
>
> Then make
>
>
>
> Simplify[xxx1] /. ArcSin[Sin[\[Alpha]_]] -> \[Alpha]
>
>
>
> Giving you 0.
>
>
>
>
>
> Have fun, Alexei
>
>
>
>
>
> I am trying to discover how to simplify xxx where xxx is defined to
>
> be:
>
>  xxx= t + ArcSin[aa] - ArcSin[aa Cos[t] + Sqrt[1 - aa^2] Sin[t]]
>
> with
>
>  -1 < aa < 1
>
> The answer I know is xxx = 0 but the reason I am posing the question
>
> is that I am interested in finding out, in general, how to manipulate
>
> formulas of this type. I tried:
>
>  FullSimplify[xxx, -1<a<1]
>
> but that did not work. Can anyone tell me how to do this?
>
>
>
> -- Thanks, David
>
>
>
>
>
> Alexei BOULBITCH, Dr., habil.
>
> IEE S.A.
>
> ZAE Weiergewan,
>
> 11, rue Edmond Reuter,
>
> L-5326 Contern, LUXEMBOURG
>
>
>
> Office phone :  +352-2454-2566
>
> Office fax:       +352-2454-3566
>
> mobile phone:  +49 151 52 40 66 44
>
>
>
> e-mail: alexei.boulbitch at iee.lu<mailto:alexei.boulbitch at iee.lu>
>
>
>
>
>
>
>
>
>
>
>






  • Prev by Date: Re: gives different result compared to 1/Diagonal[Normal@A] when A is sparse
  • Next by Date: Re: A function to do incomplete LU decomposition with a drop tolerance?
  • Previous by thread: Re: How to simplify ArcSin formula
  • Next by thread: Re: How to simplify ArcSin formula