Link between Pascal's triangle and integrals of trigonometric functions

zass
Messages
5
Reaction score
0
My lecturer keeps simplifying trigonometric integrals in one line such as
\int^{2\pi}_{0}sin^{4}(t)dt=\frac{3\pi}{4}
and writes pascals triangle next to it. Just wondering what's the link between them? I'm sure it's obvious and easy, I'd just like to have an fast way of dealing with these
 
Mathematics news on Phys.org
I have no idea what your teacher is doing! However you can express powers of sin(x) in terms of things like sin(4x). The "double angle identity", cos(2x)= cos^2(x)- sin^2(x) can be rewritten as cos(2x)= cos^2(x)- (1- cos^2(x))= 2cos^2(x)- 1 or as cos(2x)= (1- sin^2(x))- sin^2(x)= 1- 2sin^2(x).

Those can be "solved" as cos^2(x)= (1/2)(1+ cos(2x)) and sin^2(x)= (1/2)(1- cos(2x)).

So sin4(x)= (sin2(x))2= ((1/2)(1- cos(2x))2[/itex]= (1/4)(1- 2cos(2x)+ cos^2(2x)). And cos^2(2x)= (1/2)(1+ cos(2(2x)))= (1/2)(1+ cos(4x) so
sin^4(x)= 1/4- (1/2)cos(2x)+ (1/2)(1+ cos(4x))= 3/4- (1/2)cos(2x)+ (1/2)cos(4x).

Since the integrals of cos(2x) and cos(4x), from 0 to 2\pi, are 0, the only thing remaining is that "1/4" and its integral from 0 to 2\pi is, of course, (1/4)(2\pi)= \pi/2.
 
Halls:
That should be:
\frac{1}{4}(1-2\cos(2x)+\frac{1}{2}(1+\cos(4x)))
yielding 3/8 to integrate, agreeing with the teacher's answer.
 
Maybe your teacher is using the complex exponential version of trig functions...

\sin^4 t = \left(\frac{e^{it}-e^{-it}}{2i}\right)^4

and Pascal's triangle is of obvious help in expanding the numerator of the power.
 
The correct relation is fairly easy to gain by repeated use of partial integration:

1. Let I_{n}=\int_{0}^{2\pi}\sin^{n}tdt=-\cos(t)\sin^{n-1}t\mid_{t=0}^{t=2\pi}+\int_{0}^{2\pi}(n-1)\cos^{2}t\sin^{n-2}t=(n-1)\int_{0}^{2\pi}(\sin^{n-2}t-\sin^{n}t)dt=(n-1)I_{n-2}-(n-1)I_{n}

2. Thus, we have gained the recurrence relation:
I_{n}=(n-1)I_{n-2}-(n-1)I_{n}\to{I}_{n}=\frac{n-1}{n}I_{n-2}, n\geq{2}

(The case is identical if cosine constitutes our base, rather than sine, the exponent "n" remaining the same)
3. We note that I_{0}=2\pi, I_{1}=0
Thus, we easily see that for "n" odd, the integral will be 0.
Henceforth, we assume even n=2p for natural number p.

4. We may write, for any particular "n", the value as a "sew-saw"-pattern starting with "n" as the value in the leftmost denominator:
I_{n}=(\frac{n-1}{n}*\frac{n-3}{n-2}*...*\frac{1}{2})*2\pi

5. This can again be twiddled into an explicit form as follows:
With n=2p, the denominator n*(n-2)*(n-4)...2=2^{p}(p!), where p! is the factorial of p.
Multiplying both the numerator and denominator with this expression yields:
I_{n}=\frac{n!}{2^{n}(p!)^{2}}*2\pi=\pi*2^{1-n}*\frac{n!}{(n-p)!p!}=\pi*2^{1-n}*\binom{n}{p}

The binomial coefficients are closely related to..Pascal's triangle. :smile:
 
Last edited:
g_edgar said:
Maybe your teacher is using the complex exponential version of trig functions...
\sin^4 t = \left(\frac{e^{it}-e^{-it}}{2i}\right)^4
and Pascal's triangle is of obvious help in expanding the numerator of the power.

That looks like a good idea.

I'd prefer a slight improvement
\sin^4 t = \Im\left(e^{it}\left(\frac{e^{it}-e^{-it}}{2i}\right)^3\right)
Then it's easier to convert back to tri-functions.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
I'm interested to know whether the equation $$1 = 2 - \frac{1}{2 - \frac{1}{2 - \cdots}}$$ is true or not. It can be shown easily that if the continued fraction converges, it cannot converge to anything else than 1. It seems that if the continued fraction converges, the convergence is very slow. The apparent slowness of the convergence makes it difficult to estimate the presence of true convergence numerically. At the moment I don't know whether this converges or not.
Back
Top