关于丢番图方程D1x^2＋2^mD2=y^n的解数

设Ｄ１、Ｄ２、ｍ、ｘ、ｙ是适合Ｄ１〉１，Ｄ２〉１，２├Ｄ１Ｄ２，ｇｃｄ（Ｄ１，Ｄ２）＝ｇｃｄ（ｘ，ｙ）＝１的正整数，ｎ是适合ｎ├ｈ的奇素数，其中ｈ是虚二次域Ｑ（√－２＾ｍＤ１Ｄ２）的类数。本文主要证明了：方程Ｄ１ｘ＾２＋２＾ｍＤ２＝ｙ＾ｎ至多有５．１０＾１６组例外解（Ｄ１，Ｄ２，ｘ，ｙ，ｍ，ｎ）而且这些解都满足了７≤ｎ〈８．５．１０＾６以及ｙ＾ｎ〈ｅｘｐ（ｅｘｐ（ｅｘｐ４６））。