when ${\rm gcd} (a,b)=1$, what is ${\rm gcd} (a+b , a^2+b^2)$? I want to prove above statement
"what is ${\rm gcd} (a+b , a^2+b^2)$ when ${\rm gcd}(a,b) = 1$"
I've seen some proofs of it, but i couldn't find useful one.
here is one of the proof of it.
some proofs
I want prove it using method like 2nd answer. (user 9413)
but i can't understand why "if $d | 2ab$ then $d = 1$ or $2$ or $d | a$ or $d|b$"
(isn't Euclid's lemma which only holds when $d$ is prime ?)
please show me proof step by step

Suppose $\gcd(a,b)=1$, that is, there are $x,y$ so that $ax+by=1$. Then
$$
\begin{align}
1
&=(ax+by)^3\\
&=a^2(ax^3+3bx^2y)+b^2(3axy^2+by^3)
\end{align}
$$
Therefore,
$$
\begin{align}
\small2
&\small=\overbrace{(\color{#00A000}{(a^2+b^2)}+\color{#C00000}{(a+b)}(a-b))}^{\large 2a^2}(ax^3+3bx^2y)+\overbrace{(\color{#00A000}{(a^2+b^2)}-\color{#C00000}{(a+b)}(a-b))}^{\large 2b^2}(3axy^2+by^3)\\[4pt]
&\small=\color{#C00000}{(a+b)}(a-b)(ax^3+3bx^2y-3axy^2-by^3)+\color{#00A000}{(a^2+b^2)}(ax^3+3bx^2y+3axy^2+by^3)
\end{align}
$$
This means that $\gcd(a+b,a^2+b^2)\mid2$. Thus,
$$
\gcd(a+b,a^2+b^2)=\gcd(a+b,2)
$$
