CD是RT三角形ABC斜边AB上的高,求证:CD平方等于AD乘以BD.