I think the easiest proof is via geometry; prove triangles ABQ, ABR and APC are all congruent with corresponding sides the medians. Actually, I think you used geometry to correctly assign the x-coordinate of C to be a. However, your analytic geometry proof is also easy: