>>720
そうですよ。
cos^2x+cos^2y+2cosxcosy=1
sin^2x+sin^2y+2sinxsiny=3
足して、
(cos^2x+sin^2x)+(cos^2y+sin^2y)+2(cosxcosy+sinxsiny)=1+3
⇔1+1+2cos(x-y)=4
⇔2cos(x-y)=2
∴cos(x-y)=1
じゃないんですか？