Prove that #cos^2+tan^2cos^2x=1#?