The fundamental trigonometric functions, Sin and Cos, are defined by ratios of sides of a right-angle triangle, as functions of an angle of the triangle.

In deference to the SI choice of unit of angle, I'll define the more usual functions (whose names I don't capitalise)

- sin = ({scalars}: Sin(t.radian) ←t |{scalars}), and
- cos = ({scalars}: Cos(t.radian) ←t |{scalars})

for which sin' = cos and
cos' = −sin. These dimensionless

forms of the trigonometric
functions are closely related to the exponential function, defined by exp' =
exp, exp(0) = 1; in the complex plane (with i as a square root of −1),
this is periodic with period 2.π.i and exp(i.t) = cos(t) +i.sin(t), to which
I'll return.

To complete the standard family of trigonometric functions, define the tangent, secant and their complements by:

- Tan = (: Sin(a)/Cos(a) ←a :),

tan = (: sin(t)/cos(t) ←t :) = (: Tan(t.radian) ←t :), - coTan = (: Cos(a)/Sin(a) ←a :) = Tan∘(: left −a ←a :),

cotan = (: cos(t)/sin(t) ←t :) = coTan∘(: t.radian ←t :) - Sec = (: 1/Cos(a) ←a :), short for
secant

,

sec = (: 1/cos(t) ←t :), - coSec = (: 1/Sin(a) ←a :) = Sec∘(: a −left ←a :),

cosec = (: 1/sin(t) ←t :).

The prefix co

generally means do it to the
angle's complement within a right-angle triangle

, i.e. coF = F∘(:
left−a ←a :), but since Cos is an even function

, i.e. Cos =
Cos∘(: −a ←a :), one can replace left−a with a−left
in some cases (as noted) – though not for Tan and coTan. Some authors
abbreviate the co-secant to csc rather than cosec. The usual abbreviation for
secant makes possible an obvious if silly
joke, potentially suitable for a valentine's day card to a geek.

The studious reader can now use Pythagoras' theorem and the derivatives of Sin and Cos to verify that

- Sec(a).Sec(a) = Tan(a).Tan(a) + 1, coSec(a).coSec(a) = 1 + coTan(a).coTan(a)
- tan' = (: s.s ←s :)∘sec = (: t.t+1 ←t :)∘tan
- sec' = (: tan(t).sec(t) ←t :)

and derive suitably negated equivalents for cotan and cosec. It is also possible to express each of the trigonometric function, as computed for an arbitrary angle, in terms of the tangent of half that angle.

hyperboliccompanion functions

As discussed elsewhere, exp(i.t) = cos(t) +i.sin(t), from which we may infer

- cos(t) = (exp(i.t) +exp(−i.t))/2
- sin(t) = (exp(i.t) −exp(−i.t))/(2.i)

which will allow us to extend our definitions of cos and sin from the
real line to the whole complex plane (by letting t range over the latter, rather
than restricting it to the former). Analogy with the usual trigonometric
functions encourages introduction of the so-called hyperbolic

companion
functions (so-called because their role in hyperbolae is analogous to that of
the trigonometric functions in circles):

- cosh = (: exp(t) +exp(−t) ←t :)/2 = cos∘(: t←i.t :)
- sinh = (: exp(t) −exp(−t) ←t :)/2 = (: sin(t)/i ←i.t :)
- tanh = (: sinh(t)/cosh(t) ←t :) = (: (exp(2.t) +1)/(exp(2.t) −1) ←t :)
- cotanh = (: cosh(t)/sinh(t) ←t :) = (: i.cotan(t) ←i.t :)
- sech = (: 1/cosh(t) ←t :)
- cosech = (: 1/sinh(t) ←t :)

for which cosh' = sinh, sinh' = cosh, with sinh(0) = 0 and cosh(0) = 1, while cosh(t).cosh(t) = 1 +sinh(t).sinh(t) for all t. Presumably cosech can be called csch, too.

The names of the functions all come from constructions involving a circle and a right-angle triangle. In each case, if the circle's radius is taken as unit of length, the function is the name of a line in the construction: otherwise, it is the ratio of this line's length to the radius.

A line which touches a circle without crossing it is called a tangent

(or tangent line

) from the Latin for touching

. If we draw a
radius of the circle through the point at which our tangent touches the circle,
the radius and tangent meet in a right angle. If we construct a second radius,
making angle a with the one to the touching-point, and extend this new radius
beyond the circle until it meets the tangent line, we obtain a right angle
triangle. One side of this triangle is an interval of the tangent line; its
length is Tan(a) times the circle's radius. The hypotenuse of this triangle is
known as a secant

(or secant line

) and is likewise Sec(a) times
the circle's radius. I
gather the word secant means cutting

or perhaps cutting the circle
twice or in two (it's one half of a diameter) but don't know enough Latin.

When a straight line cuts a circle, neither tangent nor through the center,
the part of the line inside the circle is known as a chord

. If we join
each end of the chord to the centre of the circle we get a triangle; two of its
sides are radii, so of equal length; the chord is said to subtend

the
angle in which these two radii meet. If we draw a radius of the circle through
the centre of the chord, the two meet in a right angle (the case of a tangent,
above, is just the limiting case of a chord of zero length); this radius also
bisects the angle subtended by the chord. Hindu mathematicians thus spoke of
the half-chord, or ardha-jiva

, as a function of the half-angle between
the bisecting radius and either end-radius of the chord. (Larry Gonick, in
volume III of his Cartoon History of the Universe, translates the Hindu term as
bow-string.) This got shortened to jiva

, transcribed into Arabic,
mis-read by some Europeans (in the 1300s) as an Arabic word with different
vowels, translated to Latin as sinus

and mangled into the
word sine

. (The history of words is full of craziness ;^)

The word trigonometry

comes from the Greek for measuring triangles.

The Sin and Cos functions encode Pythagoras' theorem as the assertion that the sum of their squares is one; and their addition formulae naturally enable us to infer their values at multiples of an angle, given their values at that angle. Consequently, given an angle a:

- Sec(a).Sec(a)
- = 1/Cos(a)/Cos(a)
- = (Cos(a).Cos(a) +Sin(a).Sin(a))/Cos(a)/Cos(a)
- = 1 +Tan(a).Tan(a), whence
- Cos(2.a)
- = Cos(a).Cos(a) −Sin(a).Sin(a)
- = Cos(a).Cos(a).(1 −Tan(a).tan(a))
- = (1 −Tan(a).Tan(a)) / (1 +Tan(a).Tan(a))
- Sin(2.a)
- = 2.Sin(a).Cos(a)
- = 2.Tan(a).Cos(a).Cos(a)
- = 2.Tan(a) / (1 +Tan(a).Tan(a))
- Tan(2.a)
- = Sin(2.a) / Cos(2.a)
- = 2.Tan(a) / (1 −Tan(a).Tan(a))

so that we are able to express all trigonometric functions (obviously we get Sec, coSec and coTan by inverting the above) of any given angle as functions of the tangent of half that angle.

We can do similar for the hyperbolic cousins, now with a simply real:

- sech(a).sech(a)
- = 1/cosh(a)/cosh(a)
- = (cosh(a).cosh(a) −sinh(a).sinh(a))/cosh(a)/cosh(a)
- = 1 −tanh(a).tanh(a), whence
- cosh(2.a)
- = cosh(a).cosh(a) +sinh(a).sinh(a)
- = (1 +tanh(a).tanh(a))/(1 −tanh(a).tanh(a))
- sinh(2.a)
- = 2.sinh(a).cosh(a)
- = 2.tanh(a)/(1 −tanh(a).tanh(a))
- tanh(2.a)
- = sinh(2.a) / cosh(2.a)
- = 2.tanh(a)/(1 +tanh(a).tanh(a))

which is exactly the same aside from reversing the sing of the
tan^{2} terms while making the functions hyperbolic.