Is using L'Hospital's Rule to prove $\lim \limits_{x \to 0} \sin{x}/x$ circular? [duplicate]
If $\frac{d(\sin{x})}{dx}= \cos{x}$ is proven using the limit $\lim \limits_{x \to 0}\frac{\sin{x}}{x}=1$ (as it is in most textbooks), would it be circular to then use $\frac{d(\sin{x})}{dx}= {\cos{x}}$ and L'Hospital to prove the limit $\lim \limits_{x \to 0}\frac{\sin{x}}{x}=1$ (because limit $\lim \limits_{x \to 0}\frac{\sin{x}}{x}= \frac{\cos{0}}{1})$ later in the same textbook?
You can establish that the derivative of $\sin x$ is $\cos x$ without the fact that $\sin x = x +o(x)$.
Let $ x$ be in radians and define $\cos x$ and $\sin x$ as the coordinates of the point $P(\cos x ,\sin x)$ in the unit circle that spans a circular sector of area $x/2$.
We can define the area of this sector in terms of $x$, as
$$A(x) = \frac{x\sqrt{1-x^2}}{2}+\int\limits_x^1 \sqrt{1-t^2}dt$$
Then we define $\cos x$ as the unique real number in $[-1,1]$ such that
$$A(\cos x) = \frac{x}{2}$$
and $\sin x = \sqrt{1-\cos^2 x}$
We can see that for $-1\leq x\leq1$, $A(x)$ is differentiable, and we get
$$A'(x) = -\frac{1}{2\sqrt{1-x^2}}$$
But since $B(\cos x) = 2A(\cos x) = x$, we have that $B$ is the inverse of $\cos x$, so we have that
$$(\cos x)' = B^{-1}(x)'$$
$$(\cos x)' = \frac{1}{B'(B^{-1}(x))}$$
$$(\cos x)' = \frac{1}{\frac{-1}{\sqrt{1-B^{-1}(x)^2}}}$$
$$(\cos x)' = -\sqrt{1-\cos^2 x}$$ $$(\cos x)' = -\sin x$$
Since $\sin x = \sqrt{1-\cos^2 x}$, we have that
$$(\sin x)' = \frac{-2 \cos x (-\sin x)}{2\sqrt{1-\cos^2 x}}=\frac{\cos x \sin x}{\sin x} = \cos x$$
So, from my point of view, it isn't.