A proof for sin(a+b) and cos(a+b) that you probably haven’t seen before
ฝัง
- เผยแพร่เมื่อ 7 ก.พ. 2025
- Learn how to prove the formulas for sin(A+B) and cos(A+B), namely the angle sum identities. This is great for all precalculus students and anyone who likes math!
This video is a remake from 2017: • Angle sum identities f...
Proof with Euler’s formula • Angle Sum formula, pro...
----------------------------------------
Big thanks to my Patrons for the full-marathon support!
Ben D, Grant S, Mark M, Phillippe S. Michael Z, Jan P. Devun C. Stefan C. Ethan BW Didion S. NN Minkyu Y Brandon F Levon M shortsleeve Jack P Gabriel G Yeeted C David H Mateo F Emma M Eden E Minicat Jose R Nicholas Fey Tyler B Lucas W Ahmet Ö An R Camila L Luupo Farrah
💪 Support this channel and get my math notes by becoming a patron: / blackpenredpen
🛍 Shop my math t-shirt & hoodies: amzn.to/3qBeuw6
----------------------------------------
#blackpenredpen #math #calculus #mathforfun
2017 version: th-cam.com/video/OcXqF8l2crI/w-d-xo.htmlsi=v9rleoZwaKVuCy8h
Time flies!
@@blackpenredpen it really does!
@blackpenredpen hi. Would you have any interest in making a video explaining how Wang computers used a lookup table of a few logarithms to compute functions in their calculator from the 1960s?
Asianometry made a video about Dr. Wang and his company but didn't discuss the maths.
Ty, love your channel.
@@JimmyMatis-h9y I also want to have a video like that, plz
Wow man that is seriously a great proof. I actually did a proof of this couple weeks ago using the unit circle but gotta say this one’s way more simple and just beautiful overall. Great video man really
Thank you!
My high school teacher proved it using the unit circle too, but I struggle remembering the proof. This is more straightforward to recall.
This is a classical proof.
Wow what a beautiful and easy to understand explanation.
Use of Euler formula :
exp(i*(a+b)) = cos(a+b) + i*sin(a+b) (1)
exp(i*(a+b)) = exp(i*a)*exp(i*b) = (cos(a) + i*sin(a))*(cos(b) + i*sin(b)) --->
exp(i*(a+b)) = cos(a)*cos(b) + cos(a)*i*sin(b) + i*sin(a)*cos(b) + i*sin(a)*i*sin(b)
exp(i*(a+b)) = cos(a)*cos(b) - sin(a)*sin(b) + i*((cos(a)*sin(b) + sin(a)*cos(b)) (2)
By equating the real parts and the imaginary parts of (1) and (2) ---->
cos(a+b) = cos(a)*cos(b) - sin(a)*sin(b)
sin(a+b) = cos(a)*sin(b) + sin(a)*cos(b)
Yeah this is the only way I know.
I see circular reasoning here.
To proof the complex-exponential formulas for trigonometric functions, you need to know their Taylor expansions.
To know the Taylor expansions, You need to know, what the derivatives of sin and cos are.
To know the derivatives, you need to know at least the sin of the sum formula.
@@maciejkubera1536 NO !!!!!!!!!!!
The formula is derivated from Taylor expansion of exp(i*x) and separation of the serie into 2 series composing the real part and imaginary part by grouping the terms with i.
The real part corresponds to cos(x) and imaginary part to sin(x) --->
exp(i*x) = cos(x) + i*sin(x)
@@WahranRai so How did You know, that the Real part corresponds to cos(x), and the imaginary part to sin(x)?
@@maciejkubera1536 I dont want to detail it because it is well know.
Perform Taylor expansion of cos(x) and sin(x) and you will see that they correspond to the real part and the imaginary part.
It is like that Euler did !!!
I like using matrices. Multiply an angle transformation of alpha by a matrix with an angle transformation of beta.
I tried proving it myself and you're right, it's even faster than the one on the video
Yes, but how many students know rotation matrices before they know basic trig functions? The proof in the video is much more suitable for a first time learner.
the problem with matrices is that it abstracts things away too much -- people do not see the geometry from matrices
@@duckymomo7935 Watch 3blue1brown's Essence of Linear Algebra
@@duckymomo7935 Try watching 3blue1brown's Essence of linear algebra series
Wow, this is such a beautifully explained proof! Such a nice geometric version of this proof your enthusiasm is contagious-it’s inspiring to see how much you love your work. Great job!
In the past I have tried to derive the a+b relations by starting with the same two triangles, but was unable to see past that. Thanks for showing something that should have been so simple for me to figure for myself.
That is so good! I taught high school mathematics for 30 years and always dreaded having to do the traditional proof in front of the class. So messy, so many lines, so easy to make a slip!
This de-clutters it. I think there may be a better way, using matrix multiplication, which is perhaps more general. But your neat little diagram is great.
This is the best proof I've ever found to tell 14 years old students in their first contact with trigonometry where does those formulas come from.
Very nice proof. I only knew the proof with Complex Numbers before. Very cool
That's the best proof i've seen for that trigonometric relation!
Perhaps, one of the most beautiful proofs of this formula I've ever seen! And, I'm not even joking
Wow. Beautiful proof !!
Felicitari maxime din ROMANIA!!!
Very cool proof, thanks!
Foarte foarte frumos explicat de D-ul profesor care trăiește intens prin predarea matematicii. Este o soluție foarte elegantă de deducere a acestor formule trigonometrice, explicată consider eu, foarte logic. Felicitări D-le profesor, sănătate și succes în continuare.
Thanks for posting this. This is the proof I give in my trig classes. It was the proof given to me. It is also a proof found on Khan Academy. I think it is the best geometric proof.
This is beautiful. And if angles are over 90°, there is a way to work with 180° minus the angle.
yeah .
please could you show that way
?
Great explanation, excellent👍
i thought this was a reupload lol, i definitely remember watching the 2017 version
Yeah me too
our teacher taught it i love it
beautiful proof. i love using geometry for trig proofs
Very good explanation, it's actually godsent because I've been searching for a simple proof of this
You can do it by starting with a unit vector at alpha to the x-axis. The x coordinate is cos(alpha) and the y coordinate is sin(alpha). Now rotate the vector through beta degrees. The new x and y coordinates are cos(alpha +beta) and sin(alpha+beta). These coordinates can easily be calculated.
@@rogerphelps9939 Thank you, this one seems good aswell
i think this is my favourite proof now
Very Very Nice, Thanks a lot
Brilliant and original. 👍
Thanks for sharing. 😉
Wow, brilliant proof, bravo, what a nice proof !!
The two angle-sum formulas have an extremely familiar form to me, having dealt a lot with applying 2D rotation to a 2D vector, which results in an extremely similar formula (the x of the result being the sum of the original vector components multiplied by cos and sin, and the y of the result being the subtraction of the components multiplied by sin and cos).
It's probably not a coincidence, but I can't immediately see the connection.
Great job. Thank you. ❤❤
Nice. Thank you!
In my opinion, you can use the ruler or metrics for your drawings... But it's a great work for proofing these equations or formulas
Ha wow, that's one of the best proof-by-picture proofs I've seen.
So amazing 🤩
Great demonstration : I wish this was shown to me instead of having to learn it, and obviously to forget it !
11 days ago? Man what a coincidence, I really needed this for my finals lol
¡muy buena y bella demostracion!
U are a legend ❤❤
Brilliant Bprp.
I needed it just 2 days before but YT recommendations are yk... Drunk .
1)sin2t=2sintcost
2)cos2t=cos²t-sin²t
(x=y=t)
sin(x+y)=sinx×cosy+siny×cosx.
cos(x+y)=cosx×соsy-sinx×siny.
This was actually the proof I was shown first when being taught these formulae
We can also use the scalar and vector products to prove these results.put a video to prove these results by vector method.
Tanke you!!!
Suuuuupppper
Thanks Teacher ❤
Beautiful!
Great demo! IMHO since sin(pi-a)=sin(a), the proof stays valid for angles greater than 90°.
sin(pi-a) is only equal to a for a=0, so I guess you meant sin(pi-a)=sin(a).
@@Apollorion Yes, thanks! I edited my comment.
Very nice!
I remember my sixthform teaching this in y12(A-levels) telling us to memorise it just in case this topic comes up
it only appeared once in aqa but never in edexcel.
Amazing
Very beautiful !
Indeed a beautiful proof. 😀
You're the best ❤❤❤❤
the magic of choosing the right geometrical construction for the identity
such a cool proof
My favorite proof will always be the complex number one. Where you multiply 2 and compare real and imag parts to get the identities.
Hey there, been watching you for a while. I recently got interested in taking a function to another function power, I saw you showed the derivative for it, can you please make a video showing the indefinite integral of it? Thanks.
Me doing this in a test cuz i can't remember the formulae directly:
Beautiful
I also took the same approach but messed up in rectangle.
Beautiful!
I really enjoy these diagram illustrations of the trig functions. Do you have one that explains the formulae for sin(3Theta), cos(3Theta) and Tan(3Theta)? Also is there a similar for the hyperbolic double angles? thanks muchly!
Very good!
Bravo!
Awesome man
Very nice proff
That is beautiful
Awesome ❤
Very nice 👍👍
I remember this was the proof taught to us in our A level textbooks
Amazing 🤩
I first saw the proof by using complex numbers, take two complex numbers in trigonometric form and rotate one by other by mutiplying, then compare coefficients. That was pretty cool to me!
But it is not truly a proof... It is a proof only if you take as assumptions either the exponential properties (and Euler Identity) or how to prove those by using power series methods (which is a pain). The only stand alone proofs requiring only geometry are these ones
@@Cannongabang "It’s only a proof if you assume this and that" yeah that’s math
@@josenobi3022 he means that those assumptions arent basic enough, you have to prove them with actual basic axioms, if i could assume anything, ill just assume x is true and then its true
@@Cannongabang Still faster than the one on the video, and it's not like it's circular or inconsistent if you use Euler's formula/De'Moivre's theorem
@@Dravignor no he's saying if you do that then you have to prove demoivres theorem which is much harder than just doing it geometrically
Does that mean that that we can use this identity's only when alpha + beta < 90 deg because triangles need to fit inside a rectangle?
No, it is valid for any value of α and β but it can be proved by this method only when α+β
Thanks tuzz 🙏
Nice proof.
How is this extended to angles bigger than 90 degrees?
To be continued 🎉 if you change beta by -beta you will have two more trigonometric identities of sin (alpha-beta) and cos(alpha-beta) thanks
This is awesome but it only covers restricted alpha and beta. Don't you need a generalisation proof?
right yeah . at first the geometrically doable case in which lengths all are positive and angles are sharp. because elementary geometry doesn't work with negative lengths or negative values of angles . we remember the difficulties in a first time meeting the cosine rule in an obtuse angled triangle . think it was in third class of secondary school .
My teacher taught me this before only by Vectors
can you make next video to
solve 2^(1/3) without calculator (cube root of 2)
Proofs through geometry 💘
Genius
MARAVILLOSO
Interesting Proof.
Well Done. 🙂 👍
Thanks bruzz 🙏
I'm sorry that this is not related to the video but is it possible to have a general formula for integral of 0 to a of sin/x dx (Not Si(a))
this is cool
What about angles larger than pi/2 ?
Do 100 trig equation and trig identities in a row
"Wait I've already seen this."
* reads description*
"Oh it's a remake nice."
By the way: I love this proof
@@cyorter7737 thank you!
My teacher showed me this proof and told after that it is not valid for all alpha as alpha and beta can be larger then pi/2 then he told me that only circle one is valid
All I remember from a previous bprp video is that the symbol for alpha equals fish
this is how i learned it actually :>
The "hypanuse".
I like flexing what I've come up with the euler's formula
e^[ix] = (cosx+isinx) --- 1
e^[iy] = (cosy+isiny) --- 2
1×2
e^[ix]×e^[iy] = (cosx+isinx)(cosy+isiny)
=> e^[i(x+y)] = (cosx+isinx)(cosy+isiny)
=> cos(x+y)+isin(x+y) = cosxcosy + icosxsiny +isinxcosy + i²sinxsiny
=> cos(x+y)+isin(x+y) = cosxcosy - sinxsiny + i(sinxcosy + cosxsiny)
Comparing real and imaginary part:
cos(x+y) = cosxcosy - sinxsiny
sin(x+y) = sinxcosy + cosxsiny
Fun fact, you can prove the Pythagoras theorem using it, making Pythagoras theorem proven using trigonometry
wow
You wouldn’t have happened to look at the other proof bprp linked in his comment would you?
@Kero-zc5tc ooh I just noticed now that you pointed out
@Kero-zc5tc I had come up with this when my friend and I were trying to come up with a proof for double angle identify. I had just found out about Euler's identify so I was applying it everywhere lol.
@@Amit_Pirate I understand the feeling totally of wanting to use it
That's the standard high school proof of these identities, as far as I'm concerned.
Does this proof work if the sum of the angles is greater than 90 degrees?
yeah we could do this ourselves . consider that the picture will of course point in other directions , and that we are forced to calculate with negative lengths which is rather odd in visual (basic) geometry .
Once it has been proven for alpha and beta between 0 and pi/2 (with
alpha + beta = pi/2), it then holds for all complex alpha and beta. This is a consequence of the identity theorem in complex analysis
Does i = -i???
Nice
This would be the way Euclid or Pythagoras would use to prove this trig identity.