高一三角函数求证:(cos2x+cos2y)/(1+cos2(x+y))=cos(x-y)/cos(x+y),
求证:(cos2x+cos2y)/(1+cos2(x+y))=cos(x-y)/cos(x+y)