题目说输入三个整数
但不一定要用int类型变量储存，详见软2103-04-1009_牛客博客 (nowcoder.net)
如果用int类型变量储存，当然也有解决方案
第一种，强制转换类型 
printf("%.6f",(double)(a+b+c)/3);
第二种，强制转换类型 
printf("%.6f",(a+b+c)/3.0);
两种还是有区别的，你品，你细品。