Spread polynomials

In the conventional language of trigonometry, the "n"th-degree spread polynomial "S"_"n", for "n" = 0, 1, 2, ..., may be characterized by the trigonometric identity

:$sin^2(n\; heta)\; =\; S\_n(sin^2\; heta).,$

Although that is probably the simplest way to explain what spread polynomials are to those versed in well-known topics in mathematics, spread polynomials were introduced by Norman Wildberger for use in rational trigonometry, a subject in which one generally avoids the sine function and the other conventional trigonometric functions. The angle at which two lines meet is determined by a rational function of their slopes, known as the spread between the two lines, and equal to the square of the sine. The rational function can be identified without mentioning the sine function; see rational trigonometry for more on this.

Identities

Explicit formulas

An explicit formula, due to S. Goh, is

:$S\_n(s)\; =\; ssum\_\{k=0\}^\{n-1\}\; \{n\; over\; n\; -\; k\}\; \{2n-1-k\; choose\; k\}\; (-4s)^\{n-1-k\}.$

Two formulas, due to M. Hovdan, are

:$S\_n(s)\; =\; n^2\; sprod\_\{k=1\}^\{n-1\}\; left(\; \{\; 1-\{sover\; sin^2left(\{k\; pi\; over\; n\}\; ight)\; ight).$

:$S\_n(s)\; =\; \{1over\; 2\}-\{1over\; 4\}\; left(\; \{1\; over\; \{1-2s-2sqrt\{s^2-s\}\; ight)^n\; -\{1over\; 4\}\; left(\; \{1\; over\; \{1-2s+2sqrt\{s^2-s\}\; ight)^n\; =\; \{1over\; 2\}-\{1over\; 4\}\; left(\; \{\; \{1-2s+2sqrt\{s^2-s\}\; ight)^n\; -\{1over\; 4\}\; left(\; \{\; \{1-2s-2sqrt\{s^2-s\}\; ight)^n\; .$

From the definition it immediately follows that

:$S\_n(s)\; =\; sin^2left(narcsinleft(sqrt\{s\}\; ight)\; ight).$

Recursion formula

:$S\_\{n+1\}(s)\; =\; 2(1-2s)\; S\_n(s)\; -\; S\_\{n-1\}(s)\; +\; 2s.,$

Relation to Chebyshev polynomials

The spread polynomials are related to the Chebyshev polynomials of the first kind, "T"_"n" by the identity

:$1\; -\; 2S\_n(s)\; =\; T\_n(1\; -\; 2s).,$

This implies

:$S\_n(s)\; =\; \{1\; -\; T\_n(1\; -\; 2s)\; over\; 2\}\; =\; 1\; -\; left(T\_nleft(sqrt\{1-s\}\; ight)\; ight)^2.$

The second equality above follows from the identity

:$2T\_n(x)^2\; -\; 1\; =\; T\_\{2n\}(x)\; ,$

on Chebyshev polynomials.

Composition

The spread polynomials satisfy the composition identity

:$S\_n(S\_m(s))\; =\; S\_\{nm\}(s).,$

Coefficients in finite fields

When the coefficients are taken to be members of the finite field "F"_"p", then the sequence { "S"_"n" }_{"n" = 0, 1, 2, ...} of spread polynomials is periodic with period ("p"² − 1)/2. In other words, if "k" = ("p"² − 1)/2, then "S"_{"n" + "k"} = "S"_"n", for all "n".

Orthogonality

When the coefficients are taken to be real, then for "n" ≠ "m", we have

:$int\_0^1\; left(S\_n(s)\; -\; \{1\; over\; 2\}\; ight)\; left(S\_m(s)\; -\; \{1\; over\; 2\}\; ight)\{ds\; over\; sqrt\{s(1-s)=0.$

For "n" = "m", the integral is π/4.

Generating functions

The ordinary generating function::$sum\_\{n=1\}^infty\; S\_n(s)x^n\; =\; \{sx(1+x)\; over\; (1-x)^3\; +\; 4sx(1-x)\}.$The exponential generating function::$sum\_\{n=1\}^infty\; \{S\_n(s)over\; n!\}\; x^n\; =\; \{1\; over\; 2\}\; e^x\; left\; [\; 1-e^\{-2sx\}\; cosleft\; (2x\; sqrt\{s(1-s)\}\; ight\; )\; ight\; ]\; .$

Differential equation

"S"_"n"("s") satisfies the second order linear homogenous differential equation

:$s(1-s)y"\; +\; (1/2-s)y\text{'}\; +\; n^2(y-1/2)\; =\; 0.,$

Use in rational trigonometry

Rational trigonometry is a recently introduced approach to trigonometry that eschews all transcendental functions (such as sine, cosine, etc.), all measurements of angles or compositions of rotations, and characterizes the separation between lines by a quantity called the "spread", which is a rational function of the slopes. Equality of angles between rays entails equality of spreads between lines. The spread between two lines is the square of the sine of the angle. The name "spread polynomials" comes from the use of these polynomials in rational trigonometry.

Table of spread polynomials

The first several spread polynomials are as follows:

:$S\_0(s)\; =\; 0\; ,$

:$S\_1(s)\; =\; s\; ,$

:$S\_2(s)\; =\; 4s-4s^2\; ,$

:::$=\; 4s(1-s)\; ,$

:$S\_3(s)\; =\; 9s-24s^2+16s^3,$

:::$=\; s(3-4s)^2\; ,$

:$S\_4(s)\; =\; 16s-80s^2+128s^3-64s^4,$

:::$=\; 16s(1-s)(1-2s)^2\; ,$

:$S\_5(s)\; =\; 25s-200s^2+560s^3-640s^4+256s^5\; ,$

:::$=\; s(5-20s+16s^2)^2\; ,$

:$S\_6(s)\; =\; 36s-420s^2+1792s^3-3456s^4+3072s^5-1024s^6\; ,$

:::$=\; 4s(1-s)(1-4s)^2(3-4s)^2\; ,$

:$S\_7(s)\; =\; 49s-784s^2+4704s^3-13440s^4+19712s^5-14336s^6+4096s^7\; ,$

:::$=\; s(7-56s+112s^2-64s^3)^2\; ,$

:$S\_8(s)\; =\; 64s-1344s^2+10752s^3-42240s^4+90112s^5-106496s^6+65536s^7-16384s^8\; ,$

:::$=\; 64s(s-1)(1-2s)^2(1-8s+8s^2)^2\; ,$

:$S\_9(s)\; =\; 81s-2160s^2+22176s^3-114048s^4+329472s^5-559104s^6+552960s^7-294912s^8+65536s^9\; ,$

:::$=\; s(-3+4s)^2(-3+36s-96s^2+64s^3)^2\; ,$

:$S\_\{10\}(s)\; =\; 100s-3300s^2+42240s^3-274560s^4+1025024s^5-2329600s^6+3276800s^7-2785280s^8+1310720s^9-262144s^\{10\}\; ,$

:::$=\; 4s(1-s)(5\; -\; 20s+16s^2)^2(1-12s+16s^2)^2\; ,$

References

* Wildberger, N.J., "Divine Proportions : Rational Trigonometry to Universal Geometry", Wild Egg Books, Sydney, 2005