摘要
设$K$是一个完全实数域，而$O_K$是它的整数环。我们证明了存在一个仅依赖于$K$的常数$B_K$，使得对于任意素数指数$p>B_K$O_K$中具有$x，y，z\的费马型方程$x^p+y^p=z^2$不存在特定类型的解。我们在证明中的主要工具是模块化、级别降低和惯性图像比较。
推荐引文
I⁄IK、ERMAN；KARA，YASEM公司；和卡拉库尔特，伊兹曼(2020)“关于数字域上签名$（p，p，2）$的三元丢番图方程，”土耳其数学杂志：第44卷：不。第9条。https://doi.org/10.3906/mat-1911-88
网址：https://journals.tubitak.gov.tr/math/vol44/iss4/9
