在三角形ABC中,角ACB=90度,CD垂直AB于D,DE垂直AC于E,DF垂直BC于F,求证:CD的立方等于AE*BF