三角形外接圆是三角形什么的焦点,怎么证明?