(1)先考虑k不存在,∵直线l过点T(3,0),∴A(3,根号6) B(3,-根号6)
∴向量OA*OB=3*3-6=3
k存在,设y=kx-3k,代入y^2=2x,得
x1+x2=(6k^2+2)/k^2 x1*x2=9
OA*OB=x1*x2+y1*y2=9+(kx1-3k)(kx2-3k)=9+6k^2+2-3(6k^2+2)+9k^2=3
∴得证
(2)逆命题:如果向量OA与向量OB乘积=3,那么直线l过点T(3,0),【假】
举个反例就行,如:
A(9,-1) B(1,6) OA*OB=3
y=-7/8x+55/8 不过T(3,0).