x^2+y^2=4^2、y=√(16-x^2)、(x-3)^2+{√(16-x^2)-4}^2=2^2、37-6x=8√(16-x^2)、(37-6x)^2=64(16-x^2) を解く。