I am looking at the exercise: Find all the positive Pythagorean triples that are consecutive terms of an arithmetic progression. $$$$ So, according to the solution that I saw in my notes, we want to find $x,y,z>0$ such that $x^2+y^2=z^2$ and $x+z=2y$. $$$$
How did we find the relation $x+z=2y$? Do we conclude to this, from the arithmetic progression? If yes, how?
An arithmetic progression is defined as the sequence of terms,
$$a,a+d,a+2d,a+3d,\cdots$$
where $a$ is the first term, and $d$ is the "common difference". Here we have a arithmetic progression of three terms, $x,y,z$
By definition, $y-x=d$ and $z-y=d$(difference of any two consecutive terms is $d$)
Therefore, we get $$y-x=z-y\implies x+z=2y$$
Note: Any arithmetic progression has the nice property that,
$$t_n = \frac{t_{n-k}+t_{n+k}}{2}$$
where $t_n$ is the nth term. To put that formula into english, the term exactly between two given terms is the average of the two terms. This is the special case, $n=2,k=1$
Presumably this is where the expression "arithmetic mean" gets its name.