xoy面旋转一个a角后形成的平面方程是什么?
这是个基础问题,可是脑袋一下子转不过来了.一个平面,经过y轴,与xoy面成a度角（锐角）,这个平面的方程是什么啊?也就是说,xoy面以y轴为转动轴,逆时针旋转a度角后形成的哪个平面,其方程是什么.然后,这个平面与圆柱面x^2+y^2=1的交线怎么写呢,直接代入相消?