至少有一个锐角a,使sina=0 写出命题的非