已知直线ax+by+c=0与圆O:x2+y2=4相交于A、B两点,且|AB|=2,则·=________.
已知中,则边上的高的长为;
圆心为,且经过点的圆的标准方程为.
过点且与直线垂直的直线的方程为;
双曲线的渐近线方程为.
命题“”的否定是 .