Prove that sin(x) / cos(x) = tan(x) (ILIEKMATHPHYSICS)

This video is part of the “Real Analysis” series I am making.
Thanks and enjoy the video!
Real Analysis Playlist: • Real Analysis [ILIEKMA...
Prove that e^z * e^w = e^(z+w) video: • Prove that e^z * e^w =...
Proof that 2^n xn converges (definition of arctan) video: • Prove that lim(2^n xn)...
Prove that arctan is bounded (definition of pi) video: • Prove that arctan(x) i...
Prove that arctan : R → (-π/2, π/2) is onto video: • Prove that arctan : R ...
Prove that arctan is increasing video: • arctan(x) is an increa...
Prove that e^2iarctanx = 1+ix / 1-ix video: • Prove that e^2iarctan(...
Prove that cos(x) ﹥ 0 for all x in -π/2 ﹤ x ﹤ π/2 video: • Prove that cos(x) ﹥ 0 ...

[@TranquilSeaOfMath]

Nice proof. Don't hold back at the end; state that your corollary requires a proof of its own. This is where textbooks say that the exercise is left for the reader 🙂.

[@xnonqme3716]

I mean, by definition, no?

[@casualmetalhead9383]

I always thought it was defined as sin/cos? Or am I wrong here?

[@m_c_8656]

gangsta!

[@toniguana]

gracias

[@somapatra5560]

Sorry dude but the relation between the arctan x and x using exponentials is due to the fact that sin/cos(x)=tan x

[@blackflan]

He linked in the description to the video where he proved that relation -- only from the sequence-definitions of exp and arctan.

[@PubicGore]

Awesome stuff, man. Now prove the Hodge conjecture! :D