在RT三角形ABC中,角C等于90度,CD垂直AB于D,求证:AB平方=DB平方+2CD平方