因为A.B属于(0.π/2)sinB+sin(π/2-A)≤0和差化积2*sin[(π/2+B-A)/2]cos[(A+B-π/2)/2]≤0因为π/2+B-A<π所以sin[(π/2+B-A)/2]>0所以cos[(A+B-π/2)/2]≥0所以(A+B-π/2)/2≤π/2A+B-π/2≤π即A+B≤π/2
