间接证明法的起源

间接证明法起源可以追溯至公元前4世纪的希腊。当时，古希腊数学家欧多克索斯（Eudoxus）和亚里士多德（Aristotle）曾经提出了一些使用反证法进行证明的定理和结论，这些定理和结论在后来的数学研究中得到了广泛的应用。此后，众多数学家也在他们的著作中使用反证法证明了许多重要的定理和问题，如欧几里得几何学中的重要定理《平行公设》就是使用反证法进行证明的。由此可见，间接证明法的起源可以追溯到古希腊，它是数学研究中非常重要的证明方法之一。