Tuesday, 23 July 2019

integration - Is it true that frac1pi2n+1inttheta0ln2nleft(fracsinxsinleft(thetaxright)right),dx is a rational...

I was trying to evaluate π60ln2(2sinx)dx in an elementary way (no complex variable) so i have considered:



π60ln2(sinxsin(π6x))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(π6x))dx,1π7π60ln6(sinxsin(π6x))dx and it seems that these integrals are rational numbers.



then i have considered:



1π5π70ln4(sinxsin(π7x))dx,1π7π70ln6(sinxsin(π7x))dx



same things happen.



Then i have considered:




1π320ln2(sinxsin(2x))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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...