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