关于多项式的 Jeśmanowicz 猜想

设 $(a,b,c)$ 为两两互素的整数且满足 $a^2 + b^2 = c^2$。1956 年,Jeśmanowicz 猜想方程 $a^x + b^y = c^z$ 在正整数中的唯一解为 $(x,y,z)=(2,2,2)$。在本文中,我们证明了该猜想的一个多项式类比。