已知圆O的半径为r那么垂直平分半径的弦的长是多少?