若正三角形ABC外接圆的半径为1,则△ABC的边长为?求证