互いに素である場合だけで十分
フェルマーの最終定理の証明を記述した多くの著書においてよくでてくる
$${{\bf x,y}}$$が互いに素であれば・・・
ということについて、一瞬わかったような気になるものの、ちゃんと理解していない気もするので、以下でよく考えてみる。
$$
\begin{align*}
x^n+y^n=z^n\\
\end{align*}
$$
を満たす整数の組$${(n,x,y,z)}$$が存在するとしたときに、$${(x,y,z)}$$の公約数$${d}$$を用いれば、$${x