If we define $\sin x$ as series, how can we obtain the geometric meaning of $\sin x$?
In Terry Tao's textbook Analysis, he defines $\sin x$ as below:
- Define rational numbers
- Define Cauchy sequences of rational numbers, and equivalence of Cauchy sequences
- Define reals as the space of Cauchy sequences of rationals modulo equivalence
- Define limits (and other basic operations) in the reals
- Cover a lot of foundational material including: complex numbers, power series, differentiation, and the complex exponential
- Eventually (Chapter 15!) define the trigonometric functions via the complex exponential. Then show the equivalence to other definitions.
My question is how can we obtain the geometry interpretation of $\sin x$, that is, the ratio of opposite side and hypotenuse.
Knowing that $(\cos x)'=-\sin x$ and that $(\sin x)'=\cos x$ (which I assume Tao proves) allows one to show that for $f(x)=\sin^2 x+\cos^2 x$, we have $$f'(x)=2\sin x \cos x-2\cos x\sin x =0.$$ Thus, $f$ is a constant function. Since $f(0)=1$, $f$ is identically 1.
So, the Pythagorean identity is valid: $$ \sin^2 x+\cos^2x=1. $$ Using this, it follows that the curve $C$ parameterized by $x=\cos t$, $y=\sin t$ is a circle of radius 1 centered at the origin. Further analysis of this curve will reveal that the values of $\sin$ and $\cos$ can be read from the side lengths of right triangles.
Note, in particular that the length of arc from $t=0$ to $t=t_0$ is $\int_0^{t_0} \sqrt{\bigl[{dx\over dt} \bigr]^2 +\bigl[{dy\over dt}\bigr]^2 }\,dt=t_0$; so the angle to which the "triangle method" refers is interpreted in the correct manner.
In this hint I suggest showing from the power series that if $$ \sin(x)=\sum_{k=0}(-1)^k\frac{x^{2k+1}}{(2k+1)!}\tag{1} $$ and $$ \cos(x)=\frac{\mathrm{d}}{\mathrm{d}x}\sin(x)=\sum_{k=0}(-1)^k\frac{x^{2k}}{(2k)!}\tag{2} $$ that $\frac{\mathrm{d}}{\mathrm{d}x}\cos(x)=-\sin(x)$ and from there that $$ \sin^2(x)+\cos^2(x)=1\tag{3} $$ Therefore, $(\cos(x),\sin(x))$ lies on the unit circle.
To see that $(\cos(x),\sin(x))$ moves around the unit circle at unit speed, note that $(3)$ implies $$ \left|\frac{\mathrm{d}}{\mathrm{d}x}(\cos(x),\sin(x))\right|=\left|(-\sin(x),\cos(x))\right|=1\tag{4} $$ Thus, $(3)$ and $(4)$ say that $(\cos(x),\sin(x))$ moves around the unit circle at unit speed. Note also that $(-\sin(x),\cos(x))$ is at a right angle counter-clockwise from $(\cos(x),\sin(x))$. Therefore, $(\cos(x),\sin(x))$ moves counter-clockwise around the unit circle at unit speed, starting at $(1,0)$. This should be sufficient to show that $\sin(x)$ and $\cos(x)$ are the standard trigonometric functions.
From the series, it is easy to see Euler's forumla,
$$ e^{ix} = \cos(x) + i\sin(x)$$
With more series manipulation, we can obtain the Pythagorean theorem,
$$|e^{ix}| = e^{ix}e^{-ix} = (\cos(x) + i\sin(x))(\cos(x) - i\sin(x)) = \cos^{2}(x) + \sin^{2}(x) = 1$$
Knowing that $\sin(x)$ and $\cos(x)$ have range $[-1,1]$, and are odd and even functions respectively, we see that $e^{ix}$ traces out the unit circle in $\mathbb{C}$. From this, we can extract the geometric interpretation of sine and cosine.
To get to the geometry, take the "non-geometric" versions of cosine and sine, say $C(t)$ and $S(t)$. We can use these to parametrize the unit circle, simply because of the fact that $C^2(t)+S^2(t)=1$.
Now comes the crucial bit, calculating the arclength. We find that the arclength from $0$ to $t$ is $t$. This connects $C(t)$ and $S(t)$ with "angle," which in the formal theory is just arclength.