冰雹猜想？
http://baike.baidu.com/view/736196.htm是要验证还是证明？
前者的话，可以自己编程的。
C不会，用Pascal编一个：
var n:extended;
i:longint;
begin
readln(n);
writeln(n:0:0);
i:=1;
while n<>1 do
begin
write('=>');
if trunc(n) mod 2=0 then
begin
n:=trunc(n) div 2;
write(n:0:0,' ');
end
else
begin
n:=n*3+1;
write(n:0:0,' ');
end;
if i mod 10=0 then writeln;
inc(i);
end;
writeln;
write('sum=',i-1);
readln
end.
输入n后，它会输出n每一步经过迭代后的数，如
输入：27
输出：
27
=>82 =>41 =>124 =>62 =>31 =>94 =>47 =>142 =>71 =>214
=>107 =>322 =>161 =>484 =>242 =>121 =>364 =>182 =>91 =>274
=>137 =>412 =>206 =>103 =>310 =>155 =>466 =>233 =>700 =>350
=>175 =>526 =>263 =>790 =>395 =>1186 =>593 =>1780 =>890 =>445
=>1336 =>668 =>334 =>167 =>502 =>251 =>754 =>377 =>1132 =>566
=>283 =>850 =>425 =>1276 =>638 =>319 =>958 =>479 =>1438 =>719
=>2158 =>1079 =>3238 =>1619 =>4858 =>2429 =>7288 =>3644 =>1822 =>911
=>2734 =>1367 =>4102 =>2051 =>6154 =>3077 =>9232 =>4616 =>2308 =>1154
=>577 =>1732 =>866 =>433 =>1300 =>650 =>325 =>976 =>488 =>244
=>122 =>61 =>184 =>92 =>46 =>23 =>70 =>35 =>106 =>53
=>160 =>80 =>40 =>20 =>10 =>5 =>16 =>8 =>4 =>2
=>1
sum=111
追问是证明。
追答抱歉，我在最新的数学专著上看到，冰雹猜想还没有公认的证明。
网上流传的一些所谓“证明”，我是看不懂啦……
这里放一个百度文库里的“证明”：
http://wenku.baidu.com/view/7a8e7c0790c69ec3d5bb7533.html
顺便说一下，冰雹猜想又叫角谷猜想，显然是一个日本人的名字，我讨厌这么叫……
没有你要的证明，估计不会被采纳了，干脆多放点信息：
http://wenku.baidu.com/view/c90d0bc4aa00b52acfc7cac3.html
计算机编程只能“验证”而不能“证明”，用我们数学老师的话，就是“举不胜举”，
不过貌似原先那个“四色问题”倒是用计算机证明的，引用一段话：
“就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。”
冰雹猜想的计算机证明，恐怕不止1200小时了。
追问看来是无法用程序实现证明啦。谢啦，提供这么多的资料！