Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!news-1.dfn.de!news.dfn.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Rainer Rosenthal <r.rosenthal@web.de>
Newsgroups: comp.soft-sys.math.maple
Subject: Re: How to simplify certain solutions of trigonometric equation?
Date: Mon, 09 Mar 2015 14:40:23 +0100
Lines: 27
Message-ID: <cm5m0pFu4h2U1@mid.individual.net>
References: <cm3lseFejjsU1@mid.individual.net> <fe5f8fd2-5868-4bee-beb3-92335fd0b585@googlegroups.com> <cm59dtFqqh2U1@mid.individual.net> <110212e8-6429-46db-83a5-703955762a40@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Trace: individual.net CbOVeQSSUIzecGK8tLwPOAjD9CkN9eEHqR67hcpiuZw2tr2nk=
Cancel-Lock: sha1:SRgAKN0rubveiSwDsOdZYbZGKik=
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:31.0) Gecko/20100101 Thunderbird/31.5.0
In-Reply-To: <110212e8-6429-46db-83a5-703955762a40@googlegroups.com>
Xref: csiph.com comp.soft-sys.math.maple:1109

Am 09.03.2015 um 14:09 schrieb acer:
> It could be that in MapleV evala/Normal might get it when radnormal or simplify(...,radical) fail.
> That is, something like,
> 
>  map(u->evala(Normal(simplify(convert(simplify(f(u)),radical)))),p);
> 
Wow, solutions #3 and #6 are verified by a clear "0" now, nice!

map(u->evala(Normal(simplify(convert(simplify(f(u)),radical)))),p);
gives the following list:

  [0,                      # Check solution #1
   0,                      # Check solution #2
   0,                      # Check solution #3
   not so easy,            # Check solution #4
   not so easy,            # Check solution #5
   0]                      # Check solution #6

Many thanks!
I'd love to find something for the last two checks for #4 and #5.

For example, check #4 results in this difficult expression:
1/2*sqrt(4-2*sqrt(2))-cos(2*arctan(-sqrt(2)+1))+sin(3*arctan(-sqrt(2)+1))-sin(2*arctan(-sqrt(2)+1))+cos(3*arctan(-sqrt(2)+1))

Cheers,
Rainer