What are some rigorous definitions for sine and cosine?
The book Principles of Mathematical Analysis (also called Baby Rudin) by Walter Rudin, Second edition, pages 167-169, briefly develops the theory of trigonometric functions. This is after developing the theory of series of complex numbers as well as the theory of exponential and logarithmic functions, so the additional analysis can be quite brief.
Rudin defines the complex exponential function $E(z)$ by
$$E(z)=\sum_{n=0}^{\infty} \frac{z^n}{n!}$$
then defines the functions cosine and sine (which he initially calls $C(x)$ and $S(x)$) of a real variable by
$$C(x)=\frac 12[E(ix)+E(-ix)], \quad S(x)=\frac 1{2i}[E(ix)-E(-ix)]$$
He then derives all the usual properties (both trigonometric and analytic) of sine and cosine in just two pages. All his proofs are simple and clear, except for one: showing that there are positive numbers $x$ such that $C(x)=0$. That can be proved simply in other ways, so the analytic exposition of trigonometry is rigorous, brief, and clear. Along the way he also shows the usual parameterization of the unit circle and shows the usual high-school definitions of sine and cosine.
Rudin's conclusion is,
It should be stressed that we derived the basic properties of the trigonometric functions from [the definitions of $E(x)$, $C(x)$, and $S(x)$], without any appeal to the geometric notion of angle.
(I replaced references to specific equations with their meaning in this quote.)
Regarding your question "In particular, are there any good rigorous ones coming from the original geometric definition?":
The "original geometric definition" is not rigorous unless you have a good definition of the length of a circular arc as well as a good axiom system for the real numbers or an equivalent. Euclid did not provide such a system, though he tried. The explanation I gave from Baby Rudin defines geometry and trigonometry from analysis. Developing a rigorous geometry that includes all the trigonometric ideas without starting from analysis is very difficult. Even Hilbert's axioms for geometry had its problems. I have never seen a good rigorous development of trigonometry from modern formal geometry, though it must exist somewhere.
My preferred definition is:
$\cos x$ and $\sin x$ are the real and imaginary parts of the exponential function $\exp(ix)$.
Since we have: $$ \begin{split} e^{ix}= \sum_{k=0}^\infty\dfrac{(ix)^k}{k!}&=1+ix+\dfrac{(ix)^2}{2!}+\dfrac{(ix)^3}{3!}+\cdots+\dfrac{(ix)^n}{n!}+\cdots\\ &=1-\dfrac{(x)^2}{2!}+\dfrac{(x)^4}{4!}-\dfrac{(x)^6}{6!}+ \cdots +i\left[ x-\dfrac{(x)^3}{3!}+\dfrac{(x)^5}{5!}+\cdots \right]\\ &= \sum_{k=0}^\infty\dfrac{(-1)^k\,x^{2k}}{(2k)!}+i \sum_{k=0}^\infty\dfrac{(-1)^k\,x^{2k+1}}{(2k+1)!}\end{split} $$ we find the usual series definitions.
One definition that I think has a very clear geometric meaning is this: On the unit circle in the $xy$-plane, draw a line segment from the origin to a point on the circle. Call the angle that the line segment makes with the $x$-axis $t$ as shown in the picture. We define the $x$-component of the endpoint of the line segment as $\cos(t)$ and the $y$-component as $\sin(t)$.
The trig class "opposite, ajacent, hypotenuse" definition follows from this one. It is also not too difficult to derive inverse function integral definition from this. The addition formula definition is a bit more work to obtain, but there are geometric proofs of all of the facts listed.
Here's one way:
- Define some basic operations like integration and analytical continuation.
- Set $\ln x=\int_1^x \frac{dt}{t}.$
- Set $\exp=\ln^{-1}$ (the inverse function).
- Extend $\exp$ from $\mathbb R$ to $\mathbb C$ by analytical continuation.
- Finally set $$ \sin(z)=\frac{\exp(iz)-\exp(-iz)}{2i},\quad \cos(z)=\frac{\exp(iz)+\exp(iz)}{2}. $$