TrigReduce[expr]
rewrites products and powers of trigonometric functions in expr in terms of trigonometric functions with combined arguments.
TrigReduce
TrigReduce[expr]
rewrites products and powers of trigonometric functions in expr in terms of trigonometric functions with combined arguments.
Details and Options
- TrigReduce operates on both circular and hyperbolic functions.
- Given a trigonometric polynomial, TrigReduce typically yields a linear expression involving trigonometric functions with more complicated arguments.
- TrigReduce automatically threads over lists, as well as equations, inequalities and logic functions.
Examples
open all close allBasic Examples (2)
Scope (4)
TrigReduce[2Sin[x + y]Cos[x - y]]TrigReduce[Tan[x] + Tan[y]]Hyperbolic trigonometric expressions:
TrigReduce[2Cosh[x]Cosh[y]]TrigReduce[Coth[x] + Coth[y]]TrigReduce threads over lists:
TrigReduce[{Tan[x] + Cot[y], Tanh[x] - Coth[y]}]TrigReduce threads over equations, inequalities and logical operations:
TrigReduce[4 Sin[x] ^ 4 == 1 && 2Cos[x] ^ 2 ≥ 1]Options (1)
Modulus (1)
Manipulation with polynomials is performed using modular arithmetic:
Cos[x] ^ 50TrigReduce[%, Modulus -> 7]Compare with the reduction over rationals:
TrigReduce[%%]Collect[%, _Cos, Mod[Numerator[#]PowerMod[Denominator[#], -1, 7], 7]&]Applications (1)
Find the period of a trigonometric polynomial:
f = Cos[2 x] Cos[7 x] Sin[x] + Cos[x] Cos[7 x] Sin[2 x] + Cos[3 x] Sin[7 x] + Cos[8 x] Sin[7 x] + Cos[7 x] Sin[8 x];FunctionPeriod gives a multiple of the minimal period:
FunctionPeriod[f, x]Plot[f, {x, 0, %}]Reducing the expression helps to find the minimal period:
TrigReduce[f]p = FunctionPeriod[%, x]Periodicity can also be observed from the plots of the original function and the shifted function:
Animate[Plot[{Evaluate[(f /. x -> x + per)], f }, {x, 0, Pi}], {{per, p}, 0, Pi, Appearance -> "Labeled"}, SaveDefinitions -> True]Properties & Relations (3)
ChebyshevT[n,Cos[x]] reduces to Cos[n x]:
ChebyshevT[10, Cos[x]]TrigReduce[%]ChebyshevU[n,Cos[x]] is related to Sin[n x]:
TrigReduce[Sin[x]ChebyshevU[10, Cos[x]]]TrigReduce and TrigExpand are, generically, inverses of each other:
TrigExpand[Sin[5x]]TrigReduce[%]TrigReduce threads over lists, inequalities, equations and logical operations:
TrigReduce[4 Sin[x] ^ 4 == 1 && 2Cos[x] ^ 2 ≥ 1]Possible Issues (3)
The value of the option Modulus must be an integer:
TrigReduce[Sinh[t] ^ 2, Modulus -> Pi]TrigReduce requires explicit trigonometric functions:
TrigReduce[(Exp[I x] + Exp[-I x]) ^ 3]Use ExpToTrig to convert exponential to trigonometric functions:
ExpToTrig[%]//TrigReduceReducing constants might not always give the desired effect:
TrigReduce[Cosh[1] ^ 3]TrigReduce[Cosh[x] ^ 3] /. x -> 1Related Guides
History
Introduced in 1996 (3.0) | Updated in 2007 (6.0)
Text
Wolfram Research (1996), TrigReduce, Wolfram Language function, https://reference.wolfram.com/language/ref/TrigReduce.html (updated 2007).
CMS
Wolfram Language. 1996. "TrigReduce." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2007. https://reference.wolfram.com/language/ref/TrigReduce.html.
APA
Wolfram Language. (1996). TrigReduce. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TrigReduce.html
BibTeX
@misc{reference.wolfram_2026_trigreduce, author="Wolfram Research", title="{TrigReduce}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/TrigReduce.html}", note=[Accessed: 13-June-2026]}
BibLaTeX
@online{reference.wolfram_2026_trigreduce, organization={Wolfram Research}, title={TrigReduce}, year={2007}, url={https://reference.wolfram.com/language/ref/TrigReduce.html}, note=[Accessed: 13-June-2026]}