在三角形ABC中,AD垂直BC,且AD的平方等于BD乘DC,试证三角形ABC是直角三角形.