axpgn ha scritto:Ma la dimostrazione che è il più piccolo dov'è?
Non andava bene "piccone e badile"?! In ogni modo, se consideriamo \((a',b',c')=\left(ab+c^2\right)(a,b,c)\) ne consegue un quadrato di lato \(l'=abc\), che risulta almeno pari a \(l'=60\) per \((a,b,c)=(3,4,5)\), da cui \((a',b',c')=(111,148,185)\). Ammesso sia una dimostrazione valida, ci sono arrivato post forza bruta.