中学レベルかもしれませんが質問です。
x1*x2=k 2x1+x2=10　←この2式を連立させ重根条件を使う

① X1(10-2x1)=k →②　2x1^2-10x1+k=0 , K=25/2
故に　③2x1^2-10x1+25/2=2(x1-5/2)^2=0 より

x1=5/2 x2=5

①、②、③全て意味がわからないので①から詳しい方
解説お願いします。