Since its existence, the computer tool has often supported mathematicians, whether it is to implement an approximation method (numerical calculation of a root, of an integral, ...) or to simulate a phenomenon (geometric in nature, probabilistic, ...) to verify or establish a conjecture. But, and this is another point on which we will concentrate our attention here, computing will also have served the cause of mathematics by inspiring certain reasoning or by taking charge of whole sections of a demonstration. We will illustrate this fruitful partnership with two example saccessible from high school.
翻译:自计算机工具诞生以来,它便始终为数学家提供支持——无论是用于实现近似方法(如数值求解方程的根、计算积分等),还是通过模拟现象(几何性质、概率现象等)来验证或建立数学猜想。但我们将在此重点探讨的另一个方面是:计算还曾通过启发特定推理方式或承担证明中的完整推导环节,为数学事业做出贡献。我们将通过两个高中生可理解的实例,来阐述这一富有成效的合作关系。