(1)
まず ∫π−βπ−αsinxdx=∫αβsinxdx である。実際、u=π−xと置けばsinx=sinuであり、積分区間が[α,β]に移る。
したがって、示すべき不等式は 2∫αβsinxdx>(β−α)(sinα+sinβ) と同じである。
ここで m=2α+β,d=2β−α とおく。0≦α<β≦π/2より0<d≦π/4である。x=m+uとすると 2∫αβsinxdx=∫−dd{sin(m+u)+sin(m−u)}du である。加法定理より sin(m+u)+sin(m−u)=2sinmcosu であり、また端点では sinα+sinβ=sin(m−d)+sin(m+d)=2sinmcosd である。 −d<u<dではcosu>cosdであり、m>0なのでsinm>0である。よって sin(m+u)+sin(m−u)>sinα+sinβ が区間内部で成り立つ。これを−d≦u≦dで積分して2∫αβsinxdx>(2d)(sinα+sinβ)=(β−α)(sinα+sinβ)を得る。sin(π−β)=sinβなので、これは求める不等式である。
(2) h=8π とおく。(1)を [α,β]=[(j−1)h,jh](j=1,2,3,4) に適用する。4つの不等式の左辺を足すと∫04hsinxdx+∫π−hπsinxdx+∫π−2hπ−hsinxdx+∫π−3hπ−2hsinxdx+∫π−4hπ−3hsinxdxとなる。これは ∫0πsinxdx=2 に等しい。
一方、右辺を足すとh{sin0+sinh+sinh+sin2h+sin2h+sin3h+sin3h+sin4h}=h{2sinh+2sin2h+2sin3h+sin4h}.ここでh=π/8だから sin5h=sin3h,sin6h=sin2h,sin7h=sinh である。したがって 2sinh+2sin2h+2sin3h+sin4h=k=1∑7sinkh である。
(1) の不等式はすべて厳密なので、足し合わせて 2>hk=1∑7sinkh=8πk=1∑7sin8kπ を得る。ゆえに k=1∑7sin8kπ<π16 である。