>>778
(√2)x=(√3)(tan t) とでもおいてみ