为什么很多算法需要证明？？？

很多算法需要用复杂的数学公式证明，基于这一点，算法被证明的是什么？在实际应用中不是能实现该特定的功能不就可以吗？为什么还有证明？