正四面体ABCD内接于半径为R的球O,求正四面体的棱长.