已知在三角形ABC中,角ABC等于90度,AD平分角BAC交BC于D,求证AB的平方除以AD的平方等于BC除以2CD.