直線l:y=mxに関する対称移動は1次変換であり、この変換を表す行列は、lがx軸の正の向きとなす角をθ(θ≠90°)とすると
[[cos2θ,sin2θ],[sin2θ,-cos2θ]] ⇔ 1/(1+m^2)[[1-m^2,2m],[2m,m^2-1]]

参考書にこれが書いてあったんですが、これって答案で証明なしで使っていいもんなんでしょうか？