Fermat Pifaqora qarşı#1156
Kompüter tərəfindən yaradılmış və köməkçi sübutlar Kompüter Elmlərində xüsusi yer tutur. Dörd rəng probleminin ilk sübutu kompüter proqramının köməyi ilə tamamlanmışdır və indiki səylər prosessor səviyyəsində yoxlamada uğur qazanıb.
Bu məsələ Fermat'ın Son Teoreminin bir hissəsi ilə bağlıdır: a^n + b^n = c^n tənliyinin n > 2 üçün tam ədədi həlləri yoxdur.
Müsbət tam ədəd verildikdə, sizdən x^2 + y^2 = z^2 tənliyinin həlləri ilə bağlı iki dəyəri hesablamaq tələb olunur; burada , , müsbət tam ədədlərdir və hər biri -dən böyük deyil. x < y < z və , , cüt şəkildə asaldırsa (ümumi böləni -dən böyük olmayan), belə (x, y, z) üçlüklərinin sayını tapın. Həmçinin, 0 < p \leq N şərtini ödəyən və heç bir belə üçlükdə (yalnız asal olmayanlarda da) iştirak etməyən ədədlərin sayını hesablayın.
Girişdə hər sətirdə bir müsbət tam ədəd olmaqla, bir neçə ədəd verilir. Hər ədəd ən çox -dir. Giriş faylın sonu (EOF) ilə bitir.
Girişdəki hər üçün bir sətirdə iki tam ədəd yazın: -dən böyük olmayan komponentləri olan və cüt şəkildə asal (x, y, z) üçlüklərinin sayı, və -dən -ə kimi heç bir belə üçlükdə (yalnız asal olmayanlarda da) iştirak etməyən müsbət tam ədədlərin sayı. Hər nəticə cütünü ayrıca bir sətirdə çıxışa verin.
Nümunə 1