\(cosAOB=\dfrac{OA^2+OB^2-AB^2}{2\cdot OA\cdot OB}\)
=>\(2R^2-AB^2=2\cdot R^2\cdot\dfrac{\sqrt{3}}{2}=R^2\cdot\sqrt{3}\)
=>\(AB^2=R^2\cdot\left(2-\sqrt{3}\right)\)
=>\(AB=R\sqrt{2-\sqrt{3}}=\dfrac{R}{\sqrt{2}}\cdot\left(\sqrt{3}-1\right)\)
\(AC=\sqrt{R^2+R^2}=R\sqrt{2}\)
góc OBA=(180-30)/2=75 độ
góc BOC=90+30=120 độ
góc OCA=45 độ
=>góc BAC=360-120-75-45=240-120=120 độ
\(cosBAC=\dfrac{AB^2+AC^2-BC^2}{2\cdot AB\cdot AC}\)
=>\(\dfrac{\dfrac{R^2}{2}\cdot\left(4-2\sqrt{3}\right)+2R^2-BC^2}{2\cdot\dfrac{R}{\sqrt{2}}\cdot\left(\sqrt{3}-1\right)\cdot R\sqrt{2}}=\dfrac{-1}{2}\)
=>\(R^2\left(2-\sqrt{3}\right)+2R^2-BC^2=-\dfrac{R}{\sqrt{2}}\cdot\left(\sqrt{3}-1\right)\cdot R\sqrt{2}\)
\(\Leftrightarrow R^2\left(4-\sqrt{3}\right)-BC^2=-2R^2\left(\sqrt{3}-1\right)\)
\(\Leftrightarrow R^2\left(4-\sqrt{3}+2\sqrt{3}-2\right)-BC^2=0\)
=>\(BC^2=R^2\cdot\left(2+\sqrt{3}\right)\)
=>\(BC=R\sqrt{2+\sqrt{3}}\)
\(S_{ABC}=\dfrac{1}{2}\cdot AB\cdot AC\cdot sinBAC=\dfrac{1}{2}\cdot sin120\cdot\dfrac{R}{\sqrt{2}}\left(\sqrt{3}-1\right)\cdot R\sqrt{2}\)
\(=\dfrac{1}{2}\cdot R^2\cdot\dfrac{\sqrt{3}}{2}\cdot\left(\sqrt{3}-1\right)=R^2\cdot\dfrac{3-\sqrt{3}}{4}\)