求证sin4^a-cos4^a=2sin2^a-1