变量dx、dy和dz的声明和初始化如下: double dx = (double)x; double dy = (double)y; double dz = (double)z; 若float和double分别采用IEEE754单精度和双精度浮点数格式,sizeof(int)=4,则对于任意int型变量x、y和z,判断以下关系表达式是否。若则给出证明;若不则给出结果为假时x、y和z的取值。 (1) dx*dx >= 0 (2) (double)(float)x==dx (3) dx+dy==(double)(x+y) (4) (dx+dy)+dz==dx+(dy+dz) (5) dx*dy*dz==dz*dy*dx (6) dx/dx==dy/dy