Approximating \(\pi\) by numbers in the field \(\mathbb{Q}(\sqrt{3})\) (Q2211272)

Let \(\mu>10.2209\), \(p_1, p_2, p_3, p_4\in\mathbb Z\), \((p_3,p_4)\not= (0.0)\), \(P=\max_{1\leq i\leq 4}| p_i|\) and \(P>P_0(\mu)\). Then the authors prove \[\left| \pi - \frac{p_1\sqrt 3+p_2}{p_3\sqrt 3+p_4}\right| >P^{-\mu}.\] The proof is based on the new integral construction and makes use the idea of symmetry.