To begin, apply Menelaus' theorem to triangles ABD2, ACD1, ABC, to write
NANB⋅CBCD2⋅E2D2E2A=1,MCMA⋅E1AE1D1⋅BD1BC=1,MAMC⋅NBNA⋅PCPB=1,
so, multiplying the three, E2D2E1D1⋅BD1CD2⋅PCPB=1, (*) on account of AE1=AE2. Since ∠AD1B=∠BAC=∠AD2C, it follows that AD1=AD2, so E1D1=E2D2, with reference again to AE1=AE2. Consequently, PB/PC=BD1/CD2, by (*).
Finally, similarity of the triangles ABC and D1BA yields BD1=AB2/BC. Similarly, CD2=AC2/BC, so PB⋅AC2=PC⋅AB2, by the preceding, q.e.d.