For a right triangle with a fixed length 'a' the following definitions are given:

a
i. sin  =
c
ii. lim c = a
b0
iii. lim  = 0
b0
iv.   =90 °

Proof:
a
1. lim sin = lim (Def i. + Def ii.)
b 0 c
b 0
lim a
b 0 a
1.2 = =1
lim c a
b 0
1.3 lim sin = 1
b0

2.   =90 ° (Def iv.)

2.1  = 90 ° −
2.2 sin  = sin 90 °−
2.3 lim sin  = lim sin 90 °−
 0  0
2.4 lim sin  = sin 90 °
 0

3. lim sin  = lim sin 

 0 0
3.1 lim sin  = lim sin  (substitution of limit from Def iii.)
 0 b 0

4. sin 90 ° = 1 (1.3 and 2.4 substituted into 3.1)