python勾股定理证明过程可视化代码

在Python中，我们可以利用matplotlib等库来创建动态的勾股定理证明过程的动画。这个过程通常是通过演示直角三角形边长变化时，斜边长度的变化来实现的。下面是一个简单的例子：

import matplotlib.pyplot as plt
from matplotlib.animation import FuncAnimation
import numpy as np

def draw_triangle(side1, side2):
    fig, ax = plt.subplots()
    ax.set_xlim([0, side1])
    ax.set_ylim([0, side2])

    hypotenuse, = ax.plot([], [], 'ro', label='Hypotenuse')
    leg_a, = ax.plot([], [], 'go', label='Leg A')
    leg_b, = ax.plot([], [], 'bo', label='Leg B')

    def init():
        hypotenuse.set_data([], [])
        leg_a.set_data([], [])
        leg_b.set_data([], [])
        return hypotenuse, leg_a, leg_b,

    def update(frame):
        x = frame * side1 / 10
        y = np.sqrt(side1**2 - x**2)
        hypotenuse.set_data([0, x], [0, y])
        leg_a.set_data([0, x], [y, 0])
        leg_b.set_data([x, 0], [0, side2])
        return hypotenuse, leg_a, leg_b,

    ani = FuncAnimation(fig, update, frames=np.linspace(0, side1, 11), blit=True,
                        init_func=init, interval=50)

    plt.legend()
    plt.title('Proof of Pythagorean Theorem')
    plt.show()

draw_triangle(10, 10)

这段代码创建了一个简单的动画，展示了从直角三角形的一条腿开始，斜边逐渐增长的过程。每次更新函数（update）都会计算新的斜边长度，并绘制出新的位置。