>>553
ωt-kz=αと書き換えると
Ex＝acos(α+φx)=a*cosα*cos(φx)-a*sinα*sin(φx)
Ey＝bcos(α+φx)=b*cosα*cos(φy)-b*sinα*sin(φy)
sinαとcosαを独立変数と見なして連立一次方程式を解くと
sinα=〜〜略〜〜
cosα=〜〜略〜〜
sin^2α+cos^2α=1に代入して以下略