解析：
选项：
math.abs为绝对值
A: int i=0;i<5,i++ 根据条件得知，这一条件符合，即通过第一层循环。在二层循环中，得出：k=0;k<=2;k++;循环两次,打印出两个空格，
但由图形可知，第一行打印出的是"*"，因此A选项错误。
B：int i=4;i>=0;i--,条件成立，即进入到二层循环的第一个循环，得知:k=0;k<=-2;k++。条件不成立
C: int i=-2;i>=2;i++.条件不成立，-2不大于2，因此C选项错误
因而：D选项正确！
D：int i=2;i>=-2;i=i-1,条件成立,进入到二层循环的第一层循环,得 k=0;k<=0;k++,条件符合,打印0个空格,跟图片符合。
其次，进入到二层循环的第二个循环，得 int j=0;j<5;j++,条件成立,循环5次,打印出5个"*"。