All Questions
2 questions
106
votes
5
answers
10k
views
integral of a "sin-omial" coefficients=binomial
I find the following averaged-integral amusing and intriguing, to say the least. Is there any proof?
For any pair of integers $n\geq k\geq0$, we have
$$\frac1{\pi}\int_0^{\pi}\frac{\sin^n(x)}{\...
- 43.2k
4
votes
1
answer
143
views
Mean value of a function associated with continued fractions
Suppose that an irrational $x$ in $(0,1)$ has convergents $c(k,x)$, and let
$$d(x) = \sum_{k=0}^{\infty} \mid x - c(k,x)\mid.$$
What is the mean value of $d$?
- 3,443