两个数相乘，因数中***有4位小数，积就一定是四位小数

1>一个是四位小数

x.xxxx*y=d.dddd

2>一个是三位小数 x.xxx*y.y=x.xxx*y+x.xxx*0.y=a.aaa+b.bbbb=c.cccc

3>一个是二位小数

x.xx*y.yy=x*y.yy+0.x*y.yy+0.0x*y.yy=a.aa+b.bbb+c.cccc=d.dddd

综述可知所证为真