Euler’s identity for sine product

E697754

Euler’s identity for sine product is a classical formula expressing the sine function as an infinite product, foundational in the theory of infinite products and special functions.

All labels observed (3)

How this entity was disambiguated

Statements (46)

Predicate Object
instanceOf infinite product formula ⓘ
mathematical identity ⓘ
result in complex analysis ⓘ
result in special functions ⓘ
appearsIn textbooks on complex analysis ⓘ
textbooks on special functions ⓘ
treatises on trigonometric series ⓘ
assumesPropertyOfSine oddness of sine ⓘ
simple zeros at integers ⓘ
attributedTo Leonhard Euler ⓘ
category Eulerian formula ⓘ
encodesZerosOf sine function ⓘ
expresses sine as an infinite product over its zeros ⓘ
field analysis ⓘ
complex analysis ⓘ
special functions ⓘ
theory of infinite products ⓘ
hasAlternativeForm \frac{\sin(\pi z)}{\pi z} = \prod_{n=1}^{\infty} \left(1 - \frac{z^{2}}{n^{2}}\right) ⓘ
hasConvergenceDomain all complex z ⓘ
hasFormula \sin(\pi z) = \pi z \prod_{n=1}^{\infty} \left(1 - \frac{z^{2}}{n^{2}}\right) ⓘ
hasMathematicalObjectType identity involving entire functions ⓘ
infinite product over integers ⓘ
hasZeroStructure zeros at integer points z = n for n in \mathbb{Z} ⓘ
historicalPeriod 18th century mathematics ⓘ
implies entirety of the sine function ⓘ
growth properties of the sine function ⓘ
involvesConstant \pi ⓘ
involvesFunction \sin(\pi z) ⓘ
sine function ⓘ
involvesOperation infinite product ⓘ
limit ⓘ
multiplication ⓘ
involvesVariable complex variable z ⓘ
motivated development of infinite product representations of analytic functions ⓘ
productIndex n from 1 to infinity ⓘ
relatedTo Euler’s product for the gamma function ⓘ
Weierstrass product for the sine function ⓘ
reflection formula for the gamma function ⓘ
specialCase \sin x = x \prod_{n=1}^{\infty} \left(1 - \frac{x^{2}}{n^{2}\pi^{2}}\right) ⓘ
typeOf canonical product representation ⓘ
usedIn Weierstrass factorization theory ⓘ
derivation of product expansions for trigonometric functions ⓘ
derivation of product formula for \frac{\sin(\pi z)}{\pi z} ⓘ
theory of entire functions ⓘ
usedToDerive identities involving \zeta(2n) ⓘ
relations between trigonometric and zeta values ⓘ

How these facts were elicited

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Jacobi triple product → generalizes → Euler’s identity for sine product ⓘ
Wallis product → relatedTo → Euler’s infinite product for sine ⓘ
linked to: Euler’s identity for sine product
Euler’s reflection formula → relatedTo → Euler’s formula for the sine function via infinite product ⓘ
linked to: Euler’s identity for sine product