>>677 ですy=x-1/2と円との交点と訂正します。ABの垂線が円の中心を通る時です