>>392
cotθ=1/tanθ=tan((π/2)-θ)だから、
名前を知らなくても、いつの間にか実質的に使ってたりすると思うよ。
そういう意味では確かに高校レベルだし、
名前や表現を知らなくても問題ないと言えば問題ない。