>>757
D1∩D2 =｛P｝の証明

D1とD2が点Qを共有したとする。
Q∈D1　より　OQ + CQ ≦ OP + CP = 2a,
Q∈D2　より　AQ + BQ ≦ AP + BP = 2a’
辺々たすと
OQ + AQ + BQ + CQ ≦（OP + BP）+（AP + CP）= OB + AC　…　(1)

一方、△不等式から、
OQ + BQ ≧ OB,
AQ + CQ ≧ AC,
辺々たすと
OQ + AQ + BQ + CQ ≧ OB + AC　…　(2)
等号成立はQ ∈（OB∩AC）=｛P｝のとき。

(1)(2）より等号が成立する。
∴ Q = P.