“坐标法”是以坐标系为桥梁，把几何问题转化成代数问题，通过代数运算研究图形的几何性质的方法，它是解析几何中是基本的研究方法. 请用坐标法证明下面问题：
已知圆O的方程是，点，P、Q是圆O上异于A的两点.证明：弦PQ是圆O直径的充分必要条件是.