I was trying to evaluate ∫π60ln2(2sinx)dx in an elementary way (no complex variable) so i have considered:
∫π60ln2(sinxsin(π6−x))dx.
Using lindep a function in PARI GP i have conjectured that this integral is equal to a rational times π3*.
Then i have considered:
1π5∫π60ln4(sinxsin(π6−x))dx,1π7∫π60ln6(sinxsin(π6−x))dx and it seems that these integrals are rational numbers.
then i have considered:
1π5∫π70ln4(sinxsin(π7−x))dx,1π7∫π70ln6(sinxsin(π7−x))dx
same things happen.
Then i have considered:
1π3∫√20ln2(sinxsin(√2−x))dx.
and lindep doesn't show that this number is rational. (it's not a proof).
i have tested much more values (π7+110000 for example)
My question:
is it true that:
0<θ<π, a real
for all n, natural integer
1π2n+1∫θ0ln2n(sinxsin(θ−x))dx is a rational
if only if θ=rπ, 0<r<1 a rational.
*: i think i have a proof for this.
PS:
The idea of this came after reading: Evaluation of ∫π/30ln2(sinxsin(x+π/3))dx
No comments:
Post a Comment