Without restriction, let ∣AC∣>∣AB∣. Since D and E are the midpoints of the sides AB and AC, by the intercept theorem, DE is parallel to BC. In the case E=P or D=Q, CEDB would be a cyclic quadrilateral with parallel sides BC and DE, thus an isosceles trapezoid with ∣BD∣=∣EC∣, and therefore ∣AB∣=∣AC∣, which is excluded. If it can be shown that the (non-degenerate) triangles APC and BQA are similar, the claim follows, since due to ∠PQA=∡PDA=180∘−∡BDP=∡PCB=∡PCA+γ=∡BAQ+∡AED=∡DPQ+∡APD= ∡APQ (using the inscribed angle theorem), the triangle APQ is isosceles with ∣AP∣=∣AQ∣. - Proof that triangles APC and BQA are similar: First, by the inscribed angle theorem,
∡DQB=360∘−∡EQD−∡BQE=∡DAE+∡ECB=α+γ=180∘−β=180∘−∡EDA=∡APE,
∡EPC=∡DPC−∡DPE=(180∘−β)−α=γ=∡AED=∡AQD.
From this, the similarity of triangles APC and BQA follows:
1. Proof: Let Q′ be the uniquely determined point on the same side of AC as P, such that triangle AQ′C is similar to triangle BQA. Since D and E are the midpoints of the sides AB and AC, the sub-triangles AQ′E and BQD as well as CEQ′ and ADQ are also similar. Therefore, Q′ lies on the circumcircles of AEP and CEP, which intersect at E and P. Q′=E is excluded because Q=D. Thus, Q′=P, and the triangles APC and BQA are similar. 2. Proof: By the sine rule in ADQ and BQD, ∣AQ∣:∣AD∣=sin∡QDA:sin∡AQD,∣BQ∣:∣BD∣= sin∡BDQ:sin∡DQB. With ∡BDQ=180∘−∡QDA, it follows that ∣AQ∣:∣BQ∣=sin∡DQB:sin∡AQD. Similarly, ∣CP∣:∣PA∣=sin∡APE:sin∡EPC. Due to (1) and (2), APC and BQA are similar by the criterion sws.