已知三角形ABC中,角BAC=90度,E、D是BC的三等分点.求证:AE的平方+AD的平方=5/9 BC的平方.