已知直线 过点 且与直线 垂直，则圆 与直线 相交所得的弦长为。