已知R为三角形ABC外接圆半径,求证面积S=abc/4R