is tan54=(sin24)/(1-sqrt{3}(sin24))?