俺はいつまでも定規とコンパスを信じてるから
sin[s] = y/r
cos[s] = x/r
にこだわりたい。ただ平行線公理の排除と同じく、考えてる空間で直交を排除していいならさらに便利な定義もある。