Can you prove #1- \cos ^ { 2} x = \sin x \cos x \tan x#?