Re: question
- To: mathgroup at smc.vnet.net
- Subject: [mg77843] Re: [mg77827] question
- From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
- Date: Mon, 18 Jun 2007 06:56:20 -0400 (EDT)
- References: <200706171021.GAA02852@smc.vnet.net>
On 17 Jun 2007, at 19:21, dimitris wrote:
> Two eforts in Mathematica 5.2 in order
> to simplify o below
>
> o = 2*Cos[Pi/48]*(1 - Cos[Pi/48]^2)^(1/2) + 2*Cos[Pi/48]^2 - 1;
>
> First leaving Mathematica do the job.
>
> Timing[ToRadicals[RootReduce[(FullSimplify[#1, ComplexityFunction ->
> (Count[{#1}, _Cos, Infinity] & )] & )[o]]]]
> {43.031*Second, Sqrt[(1/2)*(2 + Sqrt[2 - Sqrt[3]])]}
>
> Then help a bit Mathematica.
> I couldn't find a built in command to simplify 1 - Cos[Pi/48]^2 to
> Sin[Pi/48]^2. That's why the adding of a rule.
>
> Timing[ToRadicals[RootReduce[Simplify[o /. 1 - Cos[Pi/48]^2 ->
> Sin[Pi/
> 48]^2]]]]
> {0.25*Second, Sqrt[(1/2)*(2 + Sqrt[2 - Sqrt[3]])]}
>
> Any other suggestions will be highly appreciated.
>
> Dimitris
>
>
In Mathematica 6:
FullSimplify[FunctionExpand[2*Cos[Pi/48]*(1 - Cos[Pi/48]^2)^(1/2) +
2*Cos[Pi/48]^2 - 1]]
(1/2)*Sqrt[4 - Sqrt[2] + Sqrt[6]]
I have not tried testing this in 5.2
Andrzej Kozlowski
P.S. Note that although FullSimplify uses FunctionExpand as one of
the transformation fucntions, you will not get this answer without
explicitly applying FunctionExpand. As with other situations of this
kind, the problem reason to be that FunctionExpand greatly increases
the (default) complexity of the original expression.
Andrzej Kozlowski
- References:
- question
- From: dimitris <dimmechan@yahoo.com>
- question