Groups > comp.soft-sys.math.maple > #1185

Re: Simplify trigonometric expressions

Message-ID	<55D47DAC.19F9EDD3@freenet.de> (permalink)
Date	2015-08-19 14:59 +0200
From	clicliclic@freenet.de
Newsgroups	comp.soft-sys.math.maple, sci.math.symbolic
Subject	Re: Simplify trigonometric expressions
References	<f14c65d6-4b6e-46ca-bbc9-940bb0fb3127@googlegroups.com> <d36annFljmU1@mid.individual.net> <ae0050b5-53a8-4965-9c1d-4ed536935efd@googlegroups.com> <d375seF7ivpU1@mid.individual.net>
Organization	synergetic AG

Cross-posted to 2 groups.

Show all headers | View raw

Axel Vogt schrieb:
> 
> On 14.08.2015 18:45, Peter Luschny wrote:
> >
> > OK. So what about these?
> >
> > [1] -1/7+x-(2/7)*cos((2/7)*Pi)+(2/7)*cos((3/7)*Pi)+(2/7)*cos((1/7)*Pi)
> >
> > [2] (4/7)*x*cos((1/7)*Pi)-(2/7)*cos((1/7)*Pi)-(4/7)*x*cos((2/7)*Pi)+(2/7)*cos((2/7)*Pi)+(4/7)*x*cos((3/7)*Pi)-(2/7)*cos((3/7)*Pi)+1/7-(2/7)*x+x^2
> >
> > [3] (2/7)*cos((1/7)*Pi)+(6/7)*x^2*cos((1/7)*Pi)-(6/7)*x*cos((1/7)*Pi)-(2/7)*cos((2/7)*Pi)-(6/7)*cos((2/7)*Pi)*x^2+(6/7)*x*cos((2/7)*Pi)+(2/7)*cos((3/7)*Pi)+(6/7)*x^2*cos((3/7)*Pi)-(6/7)*x*cos((3/7)*Pi)-1/7+(3/7)*x-(3/7)*x^2+x^3
> >
> > [4] -(2/7)*cos((1/7)*Pi)-(12/7)*x^2*cos((1/7)*Pi)+(8/7)*x*cos((1/7)*Pi)+(8/7)*x^3*cos((1/7)*Pi)-(8/7)*cos((2/7)*Pi)*x^3+(2/7)*cos((2/7)*Pi)+(12/7)*cos((2/7)*Pi)*x^2-(8/7)*x*cos((2/7)*Pi)-(2/7)*cos((3/7)*Pi)-(12/7)*x^2*cos((3/7)*Pi)+(8/7)*x*cos((3/7)*Pi)+(8/7)*x^3*cos((3/7)*Pi)+1/7-(4/7)*x+(6/7)*x^2-(4/7)*x^3+x^4
> >
> 
> evalf[20](L): fnormal(%): identify(%); # to have a guess
> 
>                                  2   3   4
>                             [x, x , x , x ]
> 
> convert(L, RootOf): # nun aber in echt ...
> simplify(%);
>                                  2   3   4
>                             [x, x , x , x ]
> 
> I think it is also "what is intended by simplify (and should trig
> survive)?" Thus I included sci.math.symbolic for further answers.
> 
> PS: would you mind to post as list
> 
> PPS: well, it may break down at some degree


Derive 6.10 doesn't need any teaching: your quadruple expression 

[-1/7+x-2/7*COS(2/7*pi)+2/7*COS(3/7*pi)+2/7*COS(1/7*pi),4/7*x*CO~
S(1/7*pi)-2/7*COS(1/7*pi)-4/7*x*COS(2/7*pi)+2/7*COS(2/7*pi)+4/7*~
x*COS(3/7*pi)-2/7*COS(3/7*pi)+1/7-2/7*x+x^2,2/7*COS(1/7*pi)+6/7*~
x^2*COS(1/7*pi)-6/7*x*COS(1/7*pi)-2/7*COS(2/7*pi)-6/7*COS(2/7*pi~
)*x^2+6/7*x*COS(2/7*pi)+2/7*COS(3/7*pi)+6/7*x^2*COS(3/7*pi)-6/7*~
x*COS(3/7*pi)-1/7+3/7*x-3/7*x^2+x^3,-2/7*COS(1/7*pi)-12/7*x^2*CO~
S(1/7*pi)+8/7*x*COS(1/7*pi)+8/7*x^3*COS(1/7*pi)-8/7*COS(2/7*pi)*~
x^3+2/7*COS(2/7*pi)+12/7*COS(2/7*pi)*x^2-8/7*x*COS(2/7*pi)-2/7*C~
OS(3/7*pi)-12/7*x^2*COS(3/7*pi)+8/7*x*COS(3/7*pi)+8/7*x^3*COS(3/~
7*pi)+1/7-4/7*x+6/7*x^2-4/7*x^3+x^4]

is automatically simplified to

[x,x^2,x^3,x^4]

within a fraction of a second. These are the reduction steps for the
first expression:

-1/7+x-2/7*COS(2/7*pi)+2/7*COS(3/7*pi)+2/7*COS(1/7*pi)

" COS(n*pi) -> SIN((1/2-n)*pi) "

-1/7+x-2*SIN(3*pi/14)/7+2*COS(3*pi/7)/7+2*COS(pi/7)/7

" COS(n*pi) -> SIN((1/2-n)*pi) "

-1/7+x-2*SIN(3*pi/14)/7+2*SIN(pi/14)/7+2*COS(pi/7)/7

" SIN(3*pi/14)-SIN(pi/14) -> COS(pi/7)-1/2 "

-1/7+x-2*(COS(pi/7)-1/2)/7+2*COS(pi/7)/7

" one final step "

x

I expect the remainder to be handled in the same manner. But I don't see
why Derive should not fail to simplify similar expressions whose
trigonometric arguments involve larger denominators, as the rule to
handle SIN(3*pi/14) - SIN(pi/14) is not generic.

Martin.

Back to comp.soft-sys.math.maple | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-14 06:00 -0700
  Re: Simplify trigonometric expressions Axel Vogt <&noreply@axelvogt.de> - 2015-08-14 16:02 +0200
    Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-14 09:37 -0700
    Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-14 09:45 -0700
      Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-14 12:39 -0700
      Re: Simplify trigonometric expressions Axel Vogt <&noreply@axelvogt.de> - 2015-08-14 23:45 +0200
        Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-15 01:43 -0700
        Re: Simplify trigonometric expressions clicliclic@freenet.de - 2015-08-19 14:59 +0200
          Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-19 11:19 -0700
            Re: Simplify trigonometric expressions Axel Vogt <&noreply@axelvogt.de> - 2015-08-19 22:08 +0200
              Re: Simplify trigonometric expressions Peter Luschny <peter.luschny@gmail.com> - 2015-08-20 06:14 -0700
              Re: Simplify trigonometric expressions clicliclic@freenet.de - 2015-08-22 13:55 +0200

csiph-web