Nonextensibility of the pair \(\{1,3\}\) to a Diophantine quintuple in \(\mathbb Z[\sqrt{-2}]\) (Q2869648)

The authors prove that the set \(\{1,3\}\) cannot be extended to a Diphantine quintuple in the ring \({\mathbb Z}[\sqrt{-2}]\). This result makes complete an earlier theorem of the first author, concerning the rings \({\mathbb Z}[\sqrt{-d}]\), where \(d\) is a positive square-free integer. In their proofs the authors combine results of Dujella and Pethő concerning systems of Pell equations, a theorem of Bennett on simultaneous approximations of square roots of rationals and Baker's method.