化简√2sin(∏/4-X)+√6cos(∏/4-x)