What inspite FindInstance ?
- To: mathgroup at smc.vnet.net
- Subject: [mg107955] What inspite FindInstance ?
- From: Artur <grafix at csl.pl>
- Date: Thu, 4 Mar 2010 05:25:04 -0500 (EST)
- Reply-to: grafix at csl.pl
Dear Mathematica Gurus,
Mathematical problem is following:
Find rational numbers a,b,c such that
(Pi^2)*a+b+c*Catalan==Zeta[2,5/k] for some k
e.g.
FindInstance[
Zeta[2, 5/4] -a Pi^2 - b - c Catalan == 0, {a, b, c}, Rationals]
give answer
FindInstance::nsmet: The methods available to FindInstance are
insufficient to find the requested instances or prove they do not exist. >>
What inspite FindInstance? (I know that we can do 6 loops (3
Denominators and 3 Numerators) but we have to have luck to give good
range of loops..
Good answer for my example is {a,b,c}={1,-16,8}but in general case these
a,b,c will be rationals (not integers)
e.g. (Pi^2)*a+b+c*Catalan==Zeta[2,5/2] we have {a,b,c}={1/2,-40/9,0}
but this last case Mathematica deduced autmathically if we execute :
Zeta[2,5/2]
first one none.
Best wishes
Artur
- Follow-Ups:
- Re: What inspite FindInstance ?
- From: Daniel Lichtblau <danl@wolfram.com>
- Re: What inspite FindInstance ?
- From: Daniel Lichtblau <danl@wolfram.com>
- Re: What inspite FindInstance ?