Buradaki sorunun altında $x^2+y^2=n$ denkleminin çözüm sayısını veren formülü belirtmiştim. Bu formülün ispatını da
buradaki PDF'de detaylı bir şekilde gösterdim. Kısaca belirtmek gerekirse $x^2+y^2=n$ denkleminin çözümünün olması için $n$'yi bölen her $4k+3$ formatındaki asal sayı için $n$'nin çarpanlarına ayrılmış halindeki bu asal sayının üstünün çift olması gerekir.
Soruya geçecek olursak $z!$'in çarpanlarına ayrılmış halini incelememiz gerekir. $z=0$, $z=1$ ve $z=2$ için $(x,y,z)=(0,1,0),(1,0,0),(1,0,1),(1,1,2)$ çözümleri bulunur. $z\in \{3,4,5\}$ için $z!$, $3$ ile bölünür fakat $9$ ile bölünmez dolayısıyla çözüm gelmez. $z=6$ için $z!=2^4\cdot 3^2\cdot 5$ olacaktır. $x$ ve $y$'nin $4$ ve $3$'e bölünmesi gerektiği modüler aritmetik yardımıyla gösterilebilir.
Not: $p=4k+3$ formatında bir asal sayı olmak üzere, $p|x^2+y^2$ ise $p|x$ ve $p|y$ olmalıdır. Benzer şekilde $4|x^2+y^2$ ise $2|x$ ve $2|y$ olmalıdır.
$x=12x_0$ ve $y=12y_0$ dersek $x_0^2+y_0^2=5$ elde edilir. Buradan $(x_0,y_0)=(1,2),(2,1)$ ve dolayısıyla $(x,y,z)=(12,24,6),(24,12,6)$ bulunur.
$z=7$ için $7\mid z!$ fakat $7^2\nmid z!$ olacağından çözüm gelmez. $z\in \{7,8,9,10,11,12,13\}$ için de aynı durum söz konusudur.
$z=14$ için $11\mid z!$ fakat $11^2\nmid z!$ olacağından çözüm gelmez. Benzer şekilde $z\in \{14,15,16,\dots, 21\}$ için de çözüm gelmeyecektir.
$z=22$ için $19\mid z!$ fakat $19^2\nmid z!$ olur. Aynı şekilde $z\in \{22,23,24,\dots, 37\}$ için de olmaz.
Buradan şunu gözlemliyorum; $p$, $4k+3$ formatında bir asal sayı olmak üzere $p<q<2p$ olacak şekilde bir $4k+3$ formatında $q$ asal sayısı vardır fakat bu bana yanlış bir argüman gibi geliyor. Bernard Postulatına göre her $n\geq 2$ tamsayısı için $n<p<2n$ olacak şekilde bir $p$ asal sayısı vardır fakat benim bildiğime göre $4k+3$ formatındaki asal sayılar için böyle bir genelleme yok. Büyük olasılıkla tüm çözümler $(x,y,z)=(1,0,0),(0,1,0),(1,0,1),(0,1,1),(12,24,6),(24,12,6)$'dir. Ancak $z>6$ için gözlem dışında bir ispat bulamadım. Ben biraz daha uğraşacağım, bulanlar da paylaşırsa sevinirim.