Clausen eşitsizliği

Şablon:Düzenle Matematik'te, Clausen formülü Thomas Clausen tarafından 1828'de bulundu, bir geneleştirilmiş hipergeometrik seri olarak bir Gaussian hipergeometrik serisinin kare ifadesidir. Bu durum

${}_2{F}_1{[\begin{array}{cc}a& b\\ a+b+1/2\end{array};x]}^2={}_3{F}_2[\begin{array}{ccc}2a& 2b& a+b\\ a+b+1/2& 2a+2b\end{array};x]$

Özel olarak bu bir hipergeometrik seri için verilen durum pozitif olmalıdır. Bu birkaç eşitsizliği sağlayabilir, böylece Askey–Gasper eşitsizliği de Branges teoreminin kanıtı içinde kullanılabilir.

Kaynakça

• Şablon:Kaynak
• Şablon:Kaynak