i didn't add, i rearranged, you don't simpify coz you need to use the assumption. and our assumption was k²-3k+2 >=0, so replacing k²-3k+2 by 0 makes it >=0+2k+2 it's the thing that turns the = sign into >= which is what we need
let >= be the greater than and equal sign
n² - 3n + 2 >= 0 for n >= 1
prove n=1
1-3+2
=0
is >= 0
therefore it is true for n=1
assume n=k
k²-3k+2 >=0
prove n=K+1
=(k+1)²-3(k+1)+2
=k²+2k+1-3k-3+2
=(k²-3k+2)+(2k-3)
>=0+2k-3 (from assumption)
>0 since 2k-3 greater than 0...