变量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
