テスト問題だったんですが・・・

次の連立方程式に対して与えられた条件を満たす解を求めよ。
またその解が一意性を持つこと示せ。
　　　(微分したｘ)=2x-4y
　　　(微分したy)=x+2y
初期値条件:x(0)=2,y(0)=1

解が求められそうなところまではいくんですが三角関数が出てきてしまって結局解が求められませんでした。
ご協力おねがいします。