三角関数を

y1' = 0 * y1 - 1 * y2
y2' = 1 * y1 + 0 * y2
y1(0) = 1
y2(0) = 0

という微分方程式の解として定義すれば気持ちがいいですよね。