(0,0,1)を中心とする球とxy平面との交点