On the generalization of the gap principle (Q6081118)

For a rational number \(x/y\) set \(H(x,y)=\max\{\vert x\vert,\vert y\vert \}\). Let \(\alpha\) be a real algebraic number of degree \(d \geq 3\), and let \(\beta \in {\mathbb{Q}}(\alpha)\) be irrational. Assume that \(d/2+1<\mu<d\) and \(C_0>0\). The author shows that there exist positive numbers \(C_1,C_2\) depending on \(\alpha,\beta,\mu,C_0\) only such that if \(\vert \alpha-x_1/y_1\vert <C_0 H(x_1,y_1)^{-\mu}\) and \(\vert \beta-x_2/y_2\vert <C_0 H(x_2,y_2)^{-\mu}\), with \(H(x_2,y_2) \geq H(x_1,y_1) \geq C_1\), then either \(H(x_2,y_2) >C_2^{-1} H(x_1,y_1)^{\mu-d/2}\) or there exist integers \(u,v,s,t\) satisfying \(sv \ne tu\) such that \[\beta=\frac{s\alpha+t}{u\alpha+v} \quad \text{and} \quad \frac{x_2}{y_2}=\frac{sx_1+ty_1}{ux_1+vy_1}.\] A corresponding result in the non-Archimedean case is also obtained.