@Alex:
Testo nascosto, fai click qui per vederlo
Non ho detto che questa copra tutte le terne non primitive. Ritengo che qualsiasi terna non primitiva possa essere generata: o dalla prima (togliendo la limitazione la limitazione col GCM), o da questa, o da entrambe.
Indicando con $ m $ ed $ n $ ( $m>n$) i consueti 'generatori di terne pitagoriche primitive' $[x,y,z]={2mn,m^2-n^2,m^2+n^2]$, il perimetro risulta $ 2m(m+n) $. Se questo deve essere un quadrato, per le terne primitive i due fattori non possono avere un divisore comune ed allora uno deve essere un quadrato e l'altro il doppio di un quadrato (per assorbire il 2). Il doppio di un qudrato non può essere $ m+n $, perché $ m $ ed $ n $ avrebbero la medesima parità e si produrrebbe una terna non primitiva.
Dovrà dunque essere $ m=2a^2; m+n=b^2 $, da cui, con le limitazioni opportune, si ottiene la prima funzione.
Eliminando la condizione di primitività, si può togliere la restrizione del GCD=1, ma non si troveranno mai quelle terne valide che sono esattamente il doppio di una primitiva.
Queste possono essere trovate ponendo $ m=a^2; m+n=2b^2 $, che porta alla seconda funzione che ho postato.
Ciao
Stephen Wolfram non mi è simpatico, anche perché il malefico Wolfram|Alpha non mi permette di credere che $ e^\pi=(640320^3+744)^(1/\sqrt(163)) $.
"Sono venticinque secoli che la filosofia inquadra i problemi, ma non scatta mai la foto.” - Edoardo Boncinelli, L'infinito in breve.