按定义 P∈BCP\in BCP∈BC 且 P∈EFP\in EFP∈EF,上一步又得 P∈O1O2P\in O_1O_2P∈O1O2。因此 BCBCBC、EFEFEF 与 O1O2O_1O_2O1O2 在 PPP 处共点。