sum=0 求sum=∑i 1: while(i<=10) sum=0 sum=sumt sum+1-> sum ++; sum+2-> sum sum+3-> sum sum +10-> sum sum=sum+? 循环不变式10 求 sum=  i i=1 sum=0 sum+1 —> sum sum+2 —> sum sum+3 —> sum …… sum+10 —> sum sum=sum+? sum=0; i=1; while(i<=10){ sum=sum+i; i++; } 循环不变式