Ứng dụng Manim trong trực quan hóa Toán học

Ứng dụng Manim trong trực quan hóa Toán học (kèm ví dụ code)

1. Manim là gì?

Manim (Mathematical Animation Engine) là một thư viện lập trình dùng để tạo các video hoạt hình minh họa toán học. Công cụ này được phát triển ban đầu bởi Grant Sanderson, người sáng lập kênh giáo dục nổi tiếng 3Blue1Brown.

Manim cho phép người dùng tạo các mô phỏng trực quan cho nhiều nội dung toán học như:

Đồ thị hàm số
Diện tích dưới đường cong
Thể tích khối tròn xoay
Biến đổi hình học
Hình học không gian 3D

Nhờ được xây dựng trên ngôn ngữ lập trình Python, Manim có tính linh hoạt cao và có thể tùy chỉnh để phù hợp với nhiều mục đích giảng dạy và nghiên cứu khác nhau.

2. Vai trò của Manim trong giảng dạy toán học

Trong quá trình học toán, nhiều khái niệm mang tính trừu tượng cao và khó hình dung nếu chỉ trình bày bằng công thức hoặc hình vẽ tĩnh. Ví dụ như:

Tích phân xác định
Khối tròn xoay
Sự biến đổi của đồ thị hàm số

Việc sử dụng các hình ảnh động giúp người học dễ dàng hình dung được quá trình biến đổi của các đối tượng toán học. Manim cho phép giáo viên tạo các video minh họa trực quan, từ đó giúp sinh viên hiểu rõ bản chất của vấn đề thay vì chỉ ghi nhớ các công thức.

3. Ví dụ minh họa: Vẽ đồ thị hàm số

Một ứng dụng cơ bản của Manim là vẽ đồ thị của các hàm số. Ví dụ ta xét hàm số:

y = x²

Đoạn mã Manim sau đây dùng để vẽ đồ thị của hàm số này.

from manim import *

class GraphExample(Scene):
def construct(self):
self.camera.background_color = WHITE

axes = Axes(
x_range=[-3,3,1],
y_range=[0,9,1],
axis_config={"color": BLACK}
)

labels = axes.get_axis_labels(x_label="x", y_label="y")

graph = axes.plot(lambda x: x**2, color=BLUE)

label = axes.get_graph_label(graph, MathTex("y=x^2"))

self.play(Create(axes))
self.play(Create(graph))
self.play(Write(label))
self.wait()

Khi chạy chương trình trên, Manim sẽ tạo ra một đoạn video hiển thị hệ trục tọa độ Oxy và đồ thị của hàm số y = x². Điều này giúp người học dễ dàng quan sát hình dạng của đồ thị và hiểu được tính chất của hàm bậc hai.

4. Ví dụ minh họa: Diện tích dưới đường cong

Một trong những ứng dụng quan trọng của Manim là mô phỏng ý nghĩa hình học của tích phân.

Xét hàm số:

y = x²

trên đoạn [0, 2].

Ta có thể sử dụng Manim để tô màu miền diện tích dưới đường cong.

from manim import *

class AreaExample(Scene):
def construct(self):
self.camera.background_color = WHITE

axes = Axes(
x_range=[0,3,1],
y_range=[0,5,1],
axis_config={"color": BLACK}
)

graph = axes.plot(lambda x: x**2, color=BLUE)

area = axes.get_area(
graph,
x_range=[0,2],
color=BLUE,
opacity=0.5
)

self.play(Create(axes))
self.play(Create(graph))
self.play(FadeIn(area))
self.wait()

Kết quả của chương trình sẽ hiển thị đồ thị hàm số và miền diện tích nằm dưới đường cong trong khoảng từ 0 đến 2. Đây chính là cách biểu diễn trực quan của tích phân xác định:

∫₀² x² dx

Thông qua hình ảnh động, người học có thể hiểu rõ hơn mối liên hệ giữa tích phân và diện tích hình phẳng.

5. Ví dụ minh họa: Thể tích khối tròn xoay

Manim còn có khả năng tạo các mô hình ba chiều để minh họa các bài toán giải tích trong không gian.

Xét miền diện tích giới hạn bởi:

y = √x
y = 0
x = 0
x = 4

Khi quay miền này quanh trục Ox, ta thu được một khối tròn xoay.

Đoạn mã Manim dưới đây dùng để mô phỏng quá trình tạo ra khối tròn xoay.

from manim import *

class SolidRevolution(ThreeDScene):
def construct(self):

axes = ThreeDAxes()

graph = axes.plot(
lambda x: np.sqrt(x),
x_range=[0,4],
color=BLUE
)

surface = Surface(
lambda u,v: axes.c2p(
u,
np.sqrt(u)*np.cos(v),
np.sqrt(u)*np.sin(v)
),
u_range=[0,4],
v_range=[0,TAU],
resolution=(20,20),
checkerboard_colors=[BLUE_D, BLUE_E],
)

self.set_camera_orientation(phi=70*DEGREES, theta=-45*DEGREES)

self.play(Create(axes))
self.play(Create(graph))
self.play(Create(surface))

self.wait()

Animation tạo ra sẽ hiển thị đường cong y = √x và khối tròn xoay được tạo ra khi quay miền diện tích quanh trục Ox. Điều này giúp người học hiểu rõ ý nghĩa của công thức tính thể tích:

V = π ∫ₐᵇ [f(x)]² dx

6. Ưu điểm của Manim trong giảng dạy

Việc sử dụng Manim trong giảng dạy toán học mang lại nhiều lợi ích như:

Tăng tính trực quan của bài giảng
Giúp người học dễ dàng hiểu các khái niệm trừu tượng
Cho phép tạo các mô phỏng toán học sinh động
Hỗ trợ hiển thị công thức toán học đẹp nhờ tích hợp với LaTeX
Phù hợp với việc xây dựng bài giảng điện tử và video giáo dục

7. Kết luận

Manim là một công cụ mạnh mẽ giúp kết hợp giữa toán học và công nghệ để tạo ra các hình ảnh động trực quan. Nhờ khả năng mô phỏng các khái niệm toán học phức tạp, Manim đang ngày càng được sử dụng rộng rãi trong giảng dạy và nghiên cứu.

Việc ứng dụng Manim trong giáo dục không chỉ giúp bài giảng trở nên sinh động hơn mà còn giúp người học hiểu sâu bản chất của các khái niệm toán học. Trong tương lai, Manim hứa hẹn sẽ trở thành một công cụ quan trọng trong việc đổi mới phương pháp dạy và học toán.