#Proof of cos(𝘢) sin(𝘢 + 𝘣) = sin(𝘣) + cos(𝘢 + 𝘣) sin(𝘢)

24 messages · Page 1 of 1 (latest)

rancid lantern
#

What are all the proofs of cos(a) sin(a + b) = sin(b) + cos(a + b) sin(a) that don't use trigonometric identities?

torn iglooBOT
#
  1. Wait patiently for a helper to come along.
  2. Once someone helps you, say thank you and close the thread with:
+close
  1. Feel free to nominate the person for helper of the week in #helper-nominations
  2. Do not ping the mods, unless someone is breaking the rules.
  3. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
rancid lantern
#

Can you show me pweez?

#

Are there any other proofs?

#

Can you show me pweez?

paper warren
# rancid lantern Are there any other proofs?

since theyre using chatgpt they dont have a brain and cant actually think
does this whole thing expand to be equivalent to just cos(a)(the expansion of sin(a+b))? there are geometric proofs for those

paper warren
#

stop using chat gpt. if you know the content help if not get out

rancid lantern
#

But I'd also be okay with a geometric proof of cos(a) sin(ab) = −sin(b) + cos(ab) sin(a).

#

Perhaps something involving two triangles?

paper warren
#

expand everything and see if like

#

it converges to simple sin(a+b) proof

rancid lantern
#

@paper warren, is this what you mean?
cos(a) sin(a + b) = sin(b) + cos(a + b) sin(a)
cos(a) (sin(a) cos(b) + cos(a) sin(b)) = sin(b) + cos(a + b) sin(a)
cos(a) sin(a) cos(b) + cos²(a) sin(b) = sin(b) + cos(a + b) sin(a)
cos(a) sin(a) cos(b) + cos²(a) sin(b) = sin(b) + (cos(a) cos(b) – sin(a) sin(b)) sin(a)
cos(a) sin(a) cos(b) + cos²(a) sin(b) = sin(b) + sin(a) cos(a) cos(b) – sin²(a) sin(b)
cos²(a) sin(b) = sin(b) – sin²(a) sin(b)
cos²(a) sin(b) + sin²(a) sin(b) = sin(b)
sin(b) (cos²(a) + sin²(a)) = sin(b)
cos²(a) + sin²(a) = 1, sin(b) ≠ 0

paper warren
#

oh

#

well i guess it did converge but thats not very geometric

runic saddle
#

idk if this will helps

rancid lantern
runic saddle
mellow light
#

Let f:a ↦ LHS-RHS. We have f(0)=0 and f’(a)=0

minor viper
mellow light
#

They want all the proofs, it is one of them. Another proof maybe outside their knowledge would use complex numbers. If trigonometric identities were allowed, it would be shorter to expand sin(b+a-a). And then my proof would allow to prove the trigonometric identities like sin(a+b), but only to check them, not to find them in a constructive manner, except for finding one from another
YAP with power series

rancid lantern