Jedes pythagoräische Tripel
a^2 + b^2 = c^2
kann geschrieben werden mit
a = m^2 - n^2
b = 2·m·n
c = m^2 + n^2
m und n sind hier ganze Zahlen.
(m^2 - n^2)^2 + (2·m·n)^2 = (m^2 + n^2)^2
Für den Radius gilt
r = a·b/(a + b + c) = (m^2 - n^2)·(2·m·n)/((m^2 - n^2) + (2·m·n) + (m^2 + n^2))
r = (m^2 - n^2)·(2·m·n)/(2·m^2 + 2·m·n)
r = n·(m - n)
Damit ist r eine ganze Zahl.