Could anyone try to prove that the below conjectured formula is valid for relating $\pi$ with ALL of its convergents - those, which are described in OEIS via $\mathrm{A002485}(n)/\mathrm{A002486}(n)$ ?
$$ (-1)^n\cdot\left( \pi - \frac{\mathrm{A002485}(n)}{\mathrm{A002486}(n)} \right) = \frac{1}{|i|\cdot2^j} \int_0^1 \frac{x^l(1-x)^{2(j+2)}(k+(i+k)x^2)}{1+x^2} \,\mathrm{d}x \tag{1} $$ (1)
and in Maple notations:
$$(-1)^n*(Pi−A002485(n)/A002486(n))=(abs(i)*2^{j})^{}(-1)Int((x^{l}(1-x)^{(2*(j+2))}*(k+(i+k)*x^{2}))/(1+x^{2}),x=0...1)$$
where integer $n >2$ serves as the index for terms in OEIS $\mathrm{A002485}(n)$ and $\mathrm{A002486}(n)$, and $\{i, j, k, l\}$ are some integer parameters (which are some implicit functions of $n$ and so far to be found experimentally for each value of $n$), .
When n->infinity then A002485(n)/A002486(n)->Pi while the integral will approach value of 0. So the way to strengthen or to disproof my conjecture is to see wether there exists set of i, j, k and l under which integral, and consequently, the resulting expression consisting of hypergeometric and gamma functions attains the value of zero (0).
It is shown in examples below that the formula under question is applicable for some first few convergents (of the $\mathrm{A002485}(n)/\mathrm{A002486}(n)$ type).
- For example, for $\frac{22}{7}$
$$\frac{22}{7} - \pi = \int_{0}^{1}\frac{x^4(1-x)^4}{1+x^2}\,\mathrm{d}x$$
with $n=3, i=-1, j=0, k=1, l=4$ - with regards to my above suggested generalization.
In Maple notation,
i:=-1; j:=0; k:=1; l:=4;
Int(x^l*(1-x)^(2*(j+2))*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields 22/7 - Pi.
- It also works for found by Lucas formula for $\frac{333}{106}$
$$\pi - \frac{333}{106} = \frac{1}{530}\int_{0}^{1}\frac{x^5(1-x)^6(197+462x^2)}{1+x^2}\,\mathrm{d}x$$
with $n=4, i=265, j=1, k=197, l=5$ - with regards to my above suggested generalization.
In Maple notation
i:=265; j:=1; k:=197; l:=5;
Int(x^l*(1-x)^(2*(j+2))*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields Pi - 333/106.
- And it works for Lucas's formula for $\frac{355}{113}$
$$\frac{355}{113} - \pi = \frac{1}{3164}\int_{0}^{1}\frac{(x^8(1-x)^8(25+816x^2)}{(1+x^2)}$$
with $n=5, i=791, j=2, k=25, l=8$ - with regards to my above suggested generalization.
In Maple notation
i:=791; j:=2; k:=25; l:=8;
Int(x^(2*(j+2))*(1-x)^l*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields 355/113 - Pi.
- And it works as well for Lucas's formula for $\frac{103993}{33102}$
$$\pi - \frac{103993}{33102} = \frac{1}{755216}\int_{0}^{1}\frac{x^{14}(1-x)^{12}(124360+77159x^2)}{1+x^2}\,\mathrm{d}x$$
with $n=6, i= -47201, j=4, k=124360, l=14$ -with regards to my above suggested generalization.
In Maple notation
i:=-47201; j:=4; k:=124360; l:=14;
Int(x^l*(1-x)^(2*(j+2))*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields Pi - 103993/33102
- And also it works Lucas's formula for $\frac{104348}{33215}$
$$\frac{104348}{33215} - \pi = \frac{1}{38544}\int_{0}^{1}\frac{x^{12}(1-x)^{12}(1349-1060x^2)}{1+x^2}\,\mathrm{d}x$$
with $n=7, i= -2409, j=4, k=1349, l=12$ - with regards to my above suggested generalization.
In Maple notation
i:=-2409; j:=4; k:=1349; l:=12;
Int(x^l*(1-x)^(2*(j+2))*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields 104348/33215 - Pi
- And it works as well for $\frac{618669248999119}{196928538206400}$
which, by the way, is not part of A002485/A002486 OEIS sequences:
$$\frac{618669248999119}{196928538206400} - \pi = \frac{1}{755216}\int_{0}^{1}\frac{x^{14}(1-x)^{12}(77159+124360x^2)}{1+x^2}\,\mathrm{d}x$$
with $i= 47201, j=4, k=77159, l=14$ -with regards to my above suggested generalization.
In Maple notation
i:=47201; j:=4; k:=77159; l:=14;
Int(x^l*(1-x)^(2*(j+2))*(k+(k+i)*x^2)/((1+x^2)*(abs(i)*2^j)),x= 0...1)
yields 618669248999119/196928538206400 - Pi.
This question relates to my answer given in Is there an integral that proves $\pi > 333/106$?
Update#1:
Recently Thomas Baruchel (see his answer below) has conducted extensive calculations and found that four parameters formula yields infinite number of solutions for each $n$.
Thomas shared with me his calculations results and supplied me with quite a few of valid combinations of $i, j, k, l$ values - so now I have a lot of experimentally found five-tuples $\{ n,i, j, k, l\}$, which satisfy above parametrization, where $n$ varies in the range from 2 to 26.
Looking at all available {i,j,k,l} solutions (initial ones found by me and those which were found by Thomas Baruchel program) one could observe that in all of them abs(l-j)=2*m where "m" is some positive integer.
Based on this data, of course, it would be nice to find how (if at all) $i, j, k, l$ are inter-related between each other and with "$n$" - but such inter-relation (if exists) is not obvious and difficult to derive just by observation ... (though it is clearly seen that an absolute value of "$i$" is strongly increasing as "$n$" is growing from 2 to 26).
Update #2:
Thanks to Jaume Oliver Lafont, at least one case, answering affirmatively to the last question, is identified: i=-1, j=-2, k=1, l=0
$$\pi = \int_{0}^{1}\frac{4}{1+x^2}\,\mathrm{d}x$$
Should there be an infinite number of such cases?
David Trimas looked into the option involving partial solution for my conjecture by setting j=l=0 and deriving formulas for "i" and "k" for j=l=0 condition.
The result is following:
(-1) ^ n * (Pi − A002485(n)/A002486(n)) = ((Abs(i)) * 2 ^ j) ^ (-1) * Int((x ^ l * (1 - x) ^ (2 * (j + 2)) * (k + (i + k) * x ^ 2 ))/(1 + x ^ 2 ), x=0 ...1)
holds true for any n>2 and j=l=0 when
i =(-1)^(n) * 3 * A002486(n)
k = (-1)^(n) * (47 * A002486(n) - 15 * A002485(n)
For example for n=3 where A002485(3)=22 and A002486(3)=7
i=(-1)^337=-21
k=(-1)^3*(477 - 1522)=1
and the quick check via Inverse Symbolic Calculator using Maple (also could be done using Mathematica) provides the confirmation.
i:=-21;j:=0;k:=1;l:=0;(abs(i)2^j)^(-1)int((x^l(1-x)^(2(j+2))*(k+(i+k)*x^2))/(1+x^2),x=0...1) = 22/7 - Pi
Substitution of
i =(-1)^(n) * 3 * A002486(n)
and
k = (-1)^(n) * (47 * A002486(n) - 15 * A002485(n)
into general conjectured formula with the condition that j=l=0 (under which above formulas for "i" and "k" were derived) confirmed those formulas for "i" and "k" validity by bringing lhs and rhs to be equal.
Though above finding is obviously circular in nature (it doesn't reveal direct dependency of "i" and and "k" on "n" but rather does it via A002485(n) and A002486(n) ) - it is in my view a step forward.
As I mentioned above, observation of all obtained solutions for my conjectured identity (which represents generalization of Stephen Lucas' experimentally obtained identities between Pi and its convergents) shows that abs(l-j)=2*m where "m" is some positive integer. Going further I make another conjecture re identity which relates Log(2) and its convergents and is analogous to the one which relates Pi and its convergents.
Below is conjectured by me formula (expressed in Maple notations) for relating Log(2) (that is Ln(2)) with ALL of its convergents - those, which are described via A079942(n)/A079943(n) ratio where A079942(n) and A079943(n) are OEIS integer sequences.
(-1)^n*(Log(2) − A079942(n)/A079943(n))=(Abs(i)2^j)^(-1)Int((x^l(1-x)^(2(j+2))*(k+(i+k)*x^2))/(1+x^2),x=0...1)
where integer n>2 serves as the index for the terms in the OEIS A079942(n) and A079943(n) integer sequences, and {i,j,k,l} are some signed integer parameters (which are some implicit functions of “n” and to be found experimentally or otherwise for each value of “n”) , and abs(l - j) = 2*m + 1, where “m" is some positive integer.