First Solution: (Based on work by Ryan Ko) Let M be the midpoint of segment AH. Since ∠AEH=∠AFH=90∘, quadrilateral AEHF is cyclic with M as its circumcenter. Hence triangle EFM is isosceles with vertex angle ∠EMF=2∠CAB=2x. Likewise, triangle PQO is also an isosceles angle with vertex angle ∠POQ=2x. Therefore, triangles EFM and PQO are similar.

Since AEHF and APHQ are cyclic, we have ∠EFH=∠EAH=∠PQH and ∠FEH=∠FAH=∠QPH. Consequently, triangles HEF and HPQ are similar. It is not difficult to see that quadrilaterals EHFM and PHQO are similar. More precisely, if ∠QHF=θ, there is a spiral similarity S, centered at H with clockwise rotation angle θ and ratio QH/FH, that sends FMEH to QOPH. Let R1 be the point in between B and D such that ∠R1HD=θ. Then triangles QHF and R1HD are similar. Hence S(D)=R1. It follows that
S(DFME)=R1QOP.
It is well known that points D, E, F, and M lie on a circle (the nine-point circle of triangle ABC). (This fact can be established easily by noting that ABDE and ACDF are cyclic, implying that
∠FDB=∠CAF=x, ∠EDC=∠BAE=x, and ∠EDF=180∘−2x=180∘−∠EMF.) Since DFME is cyclic, R1QOP must also be cyclic. By the given conditions of the problem, we conclude that R1=R, implying that
S(DEF)=RPQ,
or triangles DEF and RPQ are similar. It follows that
FDED=QRPR.

Now we are ready to finish our proof. Since ACDF and ABDE are cyclic, ∠BFD=∠AFE=∠ACB=z. Thus ∠DFE=180∘−2z. Since triangles DEF and RPQ are similar, ∠RQP=180∘−2z. Because CR is tangent to the circumcircle of triangle PQR, ∠CRP=∠RQP=180∘−2z. Thus, in triangle CPR, ∠CPR=z, and so it is isosceles with CR=PR. Likewise, we have BR=QR. Therefore, we have
FDED=QRPR=BRCR.
Second Solution: (Based on work by Zarathustra Brady) Let the circumcircle of triangle BQH meet line BC at R3 (other than B).

Since APHQ and BQHR3 are cyclic, ∠PHQ=180∘−∠PAQ and ∠QHR3=180∘−∠QBR3, implying that ∠PHR3=360∘−∠PHQ−∠QHR3=180∘−∠ACB. Hence CPHR3 is also cyclic.
(We just established a special case of Miquel's Theorem.) Because BQHR3 and CR3HP are cyclic, we have ∠QR3H=∠QBH=90∘−∠BAC and ∠HR3P=∠HCP=90∘−∠BAC. Hence ∠QR3P=180∘−2∠BAC=180∘−2x. Likewise, we have ∠PQR=180∘−2z and ∠R3PQ=180∘−2y. As we have shown in the first solution, triangle DEF have the same angles. Hence triangle R3PQ is similar to triangle DEF. Also note that ∠POQ+∠PR3Q=2x+180∘−2x=180∘, implying that R3 lies on the circumcircle of triangle OPQ. By the given condition, have R3=R. We can then finish our proof as we did in the first solution.
FDED=QRPR=BRCR.