Observation 1. A, B, C, Z are cyclic.
∠BAD=∠BXD=∠ZBC and ∠DAC=∠DYC=∠BCZ.
Hence ∠BAC=∠BAD+∠BCZ=180∘−∠BZC, that is, ∠BAC+∠BZC=180∘.
Observation 2. Both A, E, Z, Y and A, X, Z, F are cyclic.
By Observation 1, we have
∠AEY=∠ABC=∠AZC=∠AZY.
Similarly, ∠AFX=∠AZX.
Lemma 1. ZE=ZF if and only if CDBD=ACAB.
*Proof.* We can easily see that △AEZ is similar to △ADC, and symmetrically, △AFZ is similar to △ADB. Then we have
ZE=ADAE⋅CDandZF=ADAF⋅BD.
Therefore, we have ZE=ZF⇔CDBD=AFAE=ACAB.
Now let Q, R, S be the feet of perpendiculars from A, B, C to BC, CA, AB, respectively. Then A, S, D, H, F are cyclic. Since AD⋅AP=AH⋅AQ=AS⋅AB, S, D, P, B are cyclic.
Similarly, R, D, P, C are cyclic.
Since AS:AP=AD:AB, △ASP is similar to △ADB.
Now we have
(1)PS=BDABAP,RP=CDACAP.
Lemma 2. Let P be a point on BC. Then
BP=PC⇔PR=PS.
*Proof.* Suppose P is a midpoint of BC. Then P, Q, R, S are on the nine-point circle, so we have
∠PSR=∠RQC=∠A=∠SQB=∠PRS.
That is, PR=PS. Hence P is the intersection of the perpendicular bisector of SR and BC, so it is unique. Thus PR=PS implies that P is a midpoint of BC. □
Now we are ready to prove that BP=PC⇔ZE=ZF.
Suppose BP=PC, then by Lemma 2, PR=PS. Then by (1), we have CDBD=ACAB. Then by Lemma 1, ZE=ZF.
Conversely, assume that ZE=ZF, then by Lemma 1, CDBD=ACAB. Then by (1), we have PS=PR. By Lemma 2, BP=PC. □