sin 是sin ,cos 的等差中项,sin 是sin ,cos 的等比中项,求证cos4 -4cos4 =3