Let G1,G2 denote the centroids of triangles ABD and ACD.
Then G1,G2 lie on the line parallel to BC that passes through the centriod of triangle ABC.
∴BG1G2C is an isosceles trapezoid.
Therefore it follows that BG1=CG2.
∴AB2+BD2=AC2+CD2.
Hence it follows that AB⋅BD=AC⋅CD.
Therefore the sets {AB,BD} and {AC,CD} are the same (since they are both equal to the set of roots of the same polynomial).
Note that if AB=CD then AC=BD and then AB+AC=BC, a contradiction.
∴AB=AC.