先上一个三维图压压惊，用geogebra画的

可以看到两个 方程是相切的关系。这是几何上的直观的感觉，下面我们来证明一下：

既然相交，说明交点同时满足两个方程，但是3个未知数，2个方程，怎么可能！

仔细观察发现两个方程y^2 与z^2关系非常近，方程2都在一个屋，方程1也能凑一块（y^2+z^2）/3

把他俩看成一个未知数，代入相消，得（x-4）^2=12-3x^2 整理得x=1 代入方程2

y^2+z^2=9/4 就是所求