P在直线AC上因为P在EF上，EF在面ABC上，所以P在面ABC上同理P也在面ACD上所以，P在面ABC和面ACD的交线上交线也就是AC用数学符号证明就是：∵P∈EF，EF⊂面ABC∴P∈面ABC同理P∈面ACD∴P∈面ABC ∩ 面ACD = AC即P∈AC
