5の二乗とxの二乗に3をかけている理由が分かりません。どうして3をかけているのでしょうか?
赤線の長さをyとおくと、中線定理から 4^2+5^2=2(x^2+y^2) x^2+7^2=2(5^2+y^2) となります。これらからyを消去することで解説の式を得ます。