已知圆O的半径为R,则垂直平分半径的弦长为多少