Re: verification
- To: mathgroup at smc.vnet.net
- Subject: [mg74731] Re: verification
- From: Peter Pein <petsie at dordos.net>
- Date: Mon, 2 Apr 2007 07:00:35 -0400 (EDT)
- References: <eunpso$772$1@smc.vnet.net>
dimitris schrieb:
> Hello.
>
>
> foo = {ArcTan[8/(1 - Sqrt[-15 - 4*I])] + ArcTan[8/(1 + Sqrt[-15 -
> 4*I])] + ArcTan[8/(1 - Sqrt[-15 + 4*I])] +
> ArcTan[8/(1 + Sqrt[-15 + 4*I])], ArcTan[3] + ArcTan[5] +
> ArcTan[41/3] + ArcTan[21], 2*Pi - ArcTan[1/4] - ArcTan[5/12]};
>
> The elements of foo list are equal
...
>
> Having failed also in similar attempts I would really appreciate any
> ideas!
>
> Dimitris
>
>
Hi Dimitris,
try this one:
Reduce[And @@ Equal @@@ Subsets[foo, {2}] // ComplexExpand]
Peter