Can this property of certain pythagorean triples in relation to their inner circle be generalized for other values of $n$? This question was raised in comments of
Is the $(3,4,5)$ triangle the only rectangular triangle with this property?
and I was suggested to ask it as a separate one.
First some notation, let's write $(a,b,c)$ where $a<=b<c$ for a pythagorean triple, and let's write $(x,y,z)$ where $x<=y<z$ for the distances from the vertices to the center of the inner circle of the corresponding right triangle.

($XYZ$ should be lowercase but geogebra did not allow these labels)
The answer to above question proved (partially left to reader) the property:
$x * y = z$ if and only if $c - b = 1$
In comments was asked if a similar property would exist for $c - b = 2$
and it was confirmed (and proof was left to reader) that:
$x * y = 2 * z$ if and only if $c - b = 2$
Somewhat natural question then was raised (by me) if one can generalize for other values of $n >= 1$, that is:
for which $n$ (perhaps all) holds:
$x * y = n * z$ if and only if $c - b = n$
?
Thanks to @heropup for the suggestion (and the answers for $n=1,2$)
update
A simple computer programmed enumeration seems to confirm equivalence. At least for all $(a,b,c)$ with maximum $c <= 10000$. Note that it is not known to me (but perhaps it is known to others) if all $c - b$ cover all $n >= 1$.
So asking for all $n$ is a bit ambiguous since some $n$ might never occur.
An alternative, perhaps better, question rephrase is:
Prove equality
$$x * y = (c - b) * z$$
for all pythagorean triples.
 A: Hint: For all primitive Pythagorean triples (right triangles with integer sides),
$\space C-B=(2n-1)^2,n\in\mathbb{N}$
This can be seen at a glance using a formula I developed in $2009.$
\begin{align*}
&A=(2n-1)^2+&&2(2n-1)k\\
&B=               &&2(2n-1)k+2k^2\\
&C=(2n-1)^2+&&2(2n-1)k+2k^2
 \end{align*}
This formula generates all triples where $\space GCD(A,B,C)\space$ is an odd square. This includes all primitives where $GCD(A,B,C)=1.$
For Pythagorean triples, it appears that
$\quad z^2=(2n-1)^2C$
A: The confusion before comes from not ensuring which of $A$ and $B$ is used in calculations. For example, you thought
$\space z^2=10\space$ for $\space (3,4,5)\space$ when the calculations below show that
$\space y^2=10,\space$ and $\space z^2=5.\quad$  We begin with my formula for generating Pythagorean triples.
\begin{align*}
&A=(2n-1)^2+&&2(2n-1)k\\
&B=               &&2(2n-1)k+2k^2\\
&C=(2n-1)^2+&&2(2n-1)k+2k^2
 \end{align*}
Let $\space A\space$ be the horizontal component and let $\space B\space$ be the vertical component.
\begin{align*}
x^2&=r^2+r^2\\
y^2&=(B-r)^2+r^2\\
z^2&=(A-r)^2+r^2\\
\end{align*}
From these equations comes the following table.

By studying these figures we can see numerous relationships such as $\space x^2=2r^2,\space$ and some are unexpected such as how $\space r=(2n-1)k,\quad$ how $\space \dfrac{y^2}{C}=2k^2\,\quad$ and how
$\space\dfrac{z^2}{C}=(2n-1)^2.\quad$ Algebraic manipulation of these functions should be able to provide a proof but the visual here is satisfying, even without it.
A: Let $(a,b,c)$ be a primitive Pythagorean triple with $a<b<c$. Then $\{a,b\}=\{2mn,m^2-n^2\}$ and $c=m^2+n^2$ for some coprime integers $m>n>0$ of different parity. If $2mn<m^2-n^2$, then $c-b=2n^2$ is twice a square. Moreover, if $m>3n$, then $2mn<(2/3)m^2<(8/9)m^2<m^2-n^2$, so for every $n$ there exists $(a,b,c)$ such that $c-b=2n^2$.
If $m^2-n^2<2mn$, then $c-b=(m-n)^2$, the square of an odd number. Let $k\ge7$ be odd, let $m=2k-2$, $n=k-2$; then $m,n$ are coprime of different parity, $m>n>0$, and $m-n=k$; also, $m^2-n^2=3k^2-4k$, $2mn=4k^2-12k+8$, and $m^2-n^2<2mn$ is equivalent to $k^2-8k+8>0$, which is $(k-4)^2>8$, which is true for $k\ge7$. So, for every odd $k\ge7$ there exists $(a,b,c)$ such that $c-b=k^2$. For $k=1,3,5$, respectively, we can take $(a,b,c)$ to be $(3,4,5)$, $(33,56,65)$, $(65,72,97)$ to get $c-b=k^2$.
Conclusion: for a primitive Pythagorean triple, $c-b$ can take on every odd square, and every twice-a-square, and only those values.
Given any positive integer $t$, the Pythagorean triple $(3t,4t,5t)$ has $c-b=t$, so, if non-primitive triples are allowed, then $c-b$ can take on any positive integer value.
Now, let's bring in $x,y,z$. Using the formulas at The distance from the incenter to an acute vertex of a right triangle, we have
$2x^2=(a+b-c)^2$
$2y^2=a^2+(c-b)^2$
$2z^2=b^2+(c-a)^2$
If $a=2mn<m^2-n^2=b$, $c=m^2+n^2$, then
$$
4(xy)^2=(2mn-2n^2)^2(4m^2n^2+4n^4)=(4n^2)(m-n)^2(4n^2)(m^2+n^2)=16n^4(m-n)^2(m^2+n^2)
$$
so $xy=2n^2(m-n)\sqrt{m^2+n^2}$, and
$$
2z^2=(m^2-n^2)^2+(m-n)^4=2m^4-4m^3n+4m^2n^2-4mn^3+2n^4=2(m-n)^2(m^2+n^2)
$$
so $z=(m-n)\sqrt{m^2+n^2}$. Thus, $xy=2n^2z=(c-b)z$, as requested.
If $a=m^2-n^2<2mn=b$, $c=m^2+n^2$, then
$$
4(xy)^2=(2mn-2n^2)^2((m^2-n^2)^2+(m-n)^4)=8n^2(m-n)^4(m^2+n^2)
$$
so $xy=\sqrt2n(m-n)^2\sqrt{m^2+n^2}$, and
$$
2z^2=4m^2n^2+4n^4=4n^2(m^2+n^2)
$$
so $z=\sqrt2n\sqrt{m^2+n^2}$. Thus, $xy=(m-n)^2z=(c-b)z$, again as requested.
If the triple is not primitive, the common factor cancels out in the end, and the conclusion remains.
A: Incidentally, I found a bit more general evidence.
I leave some details as exercise but, one finds and has
$y^2=c(c-b)$
and
$z^2=c(c-a)$
so
$y^2=z^2(c-b)/(c-a)$
Call $r$ radius of inscribed circle, then, one finds and has
$r=(a+b-c)/2$
and
$x^2=2r^2$
So one further calculates (by squaring $r$)
$x^2=(c-a)(c-b)$
But then
$x^2y^2=(c-a)(c-b)z^2(c-b)/(c-a)=z^2(c-b)^2=z^2n^2$
So eventually
$xy=(c-b)z=nz$
This holds for any rectangular triangle. It just so happens that for pythagorean triples n is a natural number making it look a bit more appealing :-).
So for example (no natural pythagorean triple) with
$a=1$
$b=2$
$c=\sqrt 5$
geogebra tells me (up to only 4 decimals as limited check)
x=0.5402

y=0.7265

z=1.6625

julia tells me
julia> a=1
1

julia> b=2
2

julia> c=sqrt(a^2+b^2)
2.23606797749979

julia> sqrt(5)
2.23606797749979

julia> x=0.5402
0.5402

julia> y=0.7265
0.7265

julia> z=1.6625
1.6625

julia> sqrt(c*(c-b))
0.726542528005361

julia> sqrt(c*(c-a))
1.6625077511098139

julia> c-b
0.2360679774997898

julia> x*y
0.3924553

julia> (c-b)*z
0.39246301259340055

So that seems to confirm (up to limited amount of decimals).
