a=sin12°+cos12°与b=√2sin56°的大小关系