证明：把两柱面方程相减得到
x^2-y^2=0
x=y 或者 x=-y
所以 两个平面的交线在 x=y平面或者 x=-y平面上.
命题得到证明