Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedprecheck pass
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Tn(cos⁡θ)=cos⁡(nθ) and Un(cos⁡θ)sin⁡θ=sin⁡((n+1)θ) for every n∈N

Statement

For every n∈N and real θ, Tn(cos⁡θ)=cos⁡(nθ),Un(cos⁡θ)sin⁡θ=sin⁡((n+1)θ). In particular, for n≥1 and 0≤j≤n, Tn(cos⁡(jπ/n))=(−1)j. The conventions and prerequisite facts used below are recorded in Chebyshev polynomials of the first and second kinds by their three-term recurrences, The addition formulas for sine and cosine, Parity and the Pythagorean identity for sine and cosine, The principle of mathematical induction.

Facts & Assumptions

Given: A natural n and a real θ.

[F1]

Quarter-turn values and shifts by pi/2 and pi: cos⁡(x+π)=−cos⁡x for every real x and cos⁡π=−1. In particular, taking x=0 gives cos⁡0=1.

Proof

technique · induction
1.1base

The two identities follow directly from the initial polynomial values at n=0 and n=1.

1.2ih

Assume the identities at n and n−1.

2.1step 1.2algebra

The recurrences and the addition formulas give the usual second-order recurrences for cos⁡((n+1)θ) and sin⁡((n+2)θ).

3.1F1discharge-inductionalgebra∎

Hence the identities hold at n+1, so induction proves them for every natural n. Separately, cos⁡0=1=(−1)0 by [F1]; if cos⁡(jπ)=(−1)j, the shift in [F1] gives cos⁡((j+1)π)=−cos⁡(jπ)=(−1)j+1. Natural induction therefore proves cos⁡(jπ)=(−1)j for every natural j. For n≥1 and 0≤j≤n, substituting θ=jπ/n in the first proved identity gives Tn(cos⁡(jπ/n))=cos⁡(jπ)=(−1)j, as claimed.

Depends on

Used by

Dependency tree · two levels

20 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources