1 . 定义1:对于一个数集，定义一种运算，对任意都有，则称集合关于运算是封闭的（例如:自然数集对于加法运算是封闭的）.
定义2:对于一个数集，若存在一个元素，使得任意，满足，则称为集合中的零元，若存在一个元素，使得任意，满足，则称为集合中的单位元（例如:0和1分别为自然数集中的零元和单位元）.
定义3:对于一个数集，如果满足下列关系:
①有零元和单位元；
②关于加、减、乘、除（除数不为0）四种运算都是封闭的；
③对于乘法和加法都满足交换律和结合律，且满足乘法对加法的分配律；则称这个数集是一个数域.
(1)指出常用数集中，那些数集可以构成数域（不需要证明）；
(2)已知集合，证明:集合关于乘法运算是封闭的；
(3)已知集合，证明:集合是一个数域.

2 . 当且时，对一切，恒成立．学生小刚在研究对数运算时，发现有这么一个等式，带着好奇，他进一步对进行深入研究．
(1)若正数，满足，当时，求的值；
(2)除整数对，请再举出一个整数对满足；
(3)证明：当时，只有一对正整数对使得等式成立．