做一道题目， 学一个公式，每一颗子弹消灭一个敌人！

[问题]： Quadrilateral ABCD is inscribed in a circle with side AD being a diameter of length 4. If AB = BC = 1, find CD.

问题来源：http://www.wenxuecity.com/groups/bbs.php?act=bbsview&gid=2027&basecode=940142

[解答] by TTFAN



[学一个公式] If AD is the diameter of a circle, then
|AD|^3 - |AD| *(|AB|^2 +|BC|^2 +|CD|^2) = 2 |AB|*|BC|*|CD|.

你能给出上述公式的证明吗？