Hi @vaporeon_ I forgot to ask last night if you were familiar with the formulas

sin(x + y) = sin(x)cos(y) + cos(x)sin(y)
cos(x + y) = cos(x)cos(y) - sin(x)sin(y)

?

@wallhackio I have heard of these formulae before, but I do not remember how to prove this...

Follow

re: math 

@vaporeon_ in the end, though, you don't have to prove these if you want to know where a rotation matrix comes from. vaporeons are allowed to take the formulae for granted

re: math 

@wallhackio @vaporeon_ I don’t even know what the fuck a rotation matrix is

re: math 

@cam @wallhackio Are you aware of vectors and matrix-vector multiplication? For any amount of degrees θ, you can construct a matrix, such that if you multiply that matrix with a vector, the vector will be rotated by θ degrees. And such a matrix is called a rotation matrix, and it was very un-intuitive to me how that works... That's why I asked Clodsire to explain it.

My brain is currently feeling very scrambled, but I think it makes some more sense now after Clodsire's explanation.

re: math 

@wallhackio @vaporeon_ I’m tired and I blacked out about 3 words in I’m sorry

Sign in to participate in the conversation
📟🐱 GlitchCat

A small, community‐oriented Mastodon‐compatible Fediverse (GlitchSoc) instance managed as a joint venture between the cat and KIBI families.