命题证明,(12 20:34:20)在平面直角坐标系中xOy中,直线l:ax+by+c=0与圆x^2+y^2=4交于A.B两点.填空并证明  “如果a^2+b^2=c^2,那么向量OA·向量OB=___________”是真命题.

问题描述:

命题证明,(12 20:34:20)
在平面直角坐标系中xOy中,直线l:ax+by+c=0与圆x^2+y^2=4交于A.B两点.填空并证明  “如果a^2+b^2=c^2,那么向量OA·向量OB=___________”是真命题.