左辺がAB^2 - AC^2なら意味あるな。