>>46
A+B=Cを満たす互いに素な自然数に対し積ABCの互いに素な因数の積Dとする時
C>D^n (n>1の数)を満たす組は有限個しかない

A=9,B=16,C=25の時

9+16=25
A+ B= C

A=3^2,B=4^2,C=5^2なので
D=3*4*5=60

つまりC<Dとなり条件を満たさない
1+8=9だと条件を満たすので「有限個」の内の一つ