BCを含むxy垂直面はOAを垂直2等分し、BCの長さは10で、xy面もBCを垂直2等分するから、
B＝(5,y,5),　C＝(5,y,−5),　y＞0　と書ける。
OBの長さも10だから、5^2＋y^2＋5^2＝10^2　∴ y＝√50