1式=(cosA*cosB)*(cosA*cosB)
=(1-sinA*sinA)(1-sinB*sinB)
=1+sinA*sinA*sinB*sinB-(sinB*sinB+sinA*sinA)
=(23-4*根号3)/16-(sinB*sinB+sinA*sinA)
且
sinB*sinB+sinA*sinA>=2sinAsinB=(2-根号3)/2
所以1式
1式=(cosA*cosB)*(cosA*cosB)
=(1-sinA*sinA)(1-sinB*sinB)
=1+sinA*sinA*sinB*sinB-(sinB*sinB+sinA*sinA)
=(23-4*根号3)/16-(sinB*sinB+sinA*sinA)
且
sinB*sinB+sinA*sinA>=2sinAsinB=(2-根号3)/2
所以1式