State the identity that validate sin x=3cos ( x - ( ?/3) ) and hence show that tan x = -( 6 + 9 ?3) / 23