令x=A−30度、y=B−30度、z=C−30度,则和为90度。因sin x sin y≤(1−cos(x+y))/2=(1−sin z)/2,故乘积≤(1−sin z)sin z/2≤1/8。这与上面的严格不等式矛盾,所以alpha、beta、gamma至少有一个不超过30度。