In the quadratic equation `ax^2+bx+c=0` (`a\ne0`), if one root is double to other root, then prove that `2b^2=9ac`.