WebLab STEM

Toán học · 8. Giải tích vi tích phân & Phương trình vi phân

Đạo hàm, tích phân, phương trình vi phân, chuỗi Taylor và phân rã ma trận

Khám phá vi tích phân toàn diện: tiếp tuyến, tích phân Riemann, bách khoa toàn thư phương pháp giải phương trình vi phân cấp 1-2, khai triển chuỗi Taylor/Maclaurin và các phép phân rã ma trận hiện đại (LU, Cholesky, QR, SVD).

40 phútPhiên bản nội dung: 2.1
Bắt đầu lộ trình tương tácMở thí nghiệm mô phỏng

Câu hỏi dẫn đường

Làm thế nào vi tích phân, chuỗi Taylor và phân rã ma trận kết nối biến thiên vô cùng bé với mô hình hóa dữ liệu lớn và AI?

Phạm vi chương trình

GDPT Toán 11–12; Cambridge AS/A-Level: differentiation, integration, differential equations, series and matrix decompositions.

Phạm vi và giới hạn mô hình

Mô phỏng số gợi ý giới hạn và trường hướng tiếp tuyến; nghiệm giải tích đòi hỏi phân loại đúng dạng phương trình, kiểm tra nghiệm dừng (y = 0) và điều kiện đầu.

Mục tiêu học tập

  • Diễn giải đạo hàm như tốc độ thay đổi tức thời, hệ số góc tiếp tuyến và định lý giá trị trung bình Lagrange.
  • Phân biệt tích phân xác định (diện tích đại số) với diện tích hình học không âm.
  • Khai triển hàm số thành chuỗi Taylor và chuỗi Maclaurin với đánh giá sai số qua phần dư Lagrange.
  • Giải chuẩn xác 7 dạng phương trình vi phân cấp 1: tách biến, đẳng cấp, tuyến tính (thừa số tích phân μ), Bernoulli, vi phân toàn phần (Euler), Riccati, Lagrange và Clairaut.
  • Vận dụng phương pháp hạ cấp, hệ số bất định và biến thiên hằng số Lagrange toàn năng qua Wronskian cho phương trình cấp 2 và Euler - Cauchy.
  • Nắm vững nguyên lý và ứng dụng của 4 phép phân rã ma trận hiện đại: LU, Cholesky, QR và giá trị suy biến SVD.

Kiến thức cần biết trước

  • Hàm số, hệ số góc và giới hạn cơ bản.
  • Nguyên hàm và các kỹ thuật tích phân (đổi biến, từng phần).
  • Đại số ma trận và không gian vector.

Kiến thức trọng tâm

Đạo hàm, Tiếp tuyến & Định lý Lagrange (MVT)

f′(x) là giới hạn của hệ số góc cát tuyến khi khoảng gia h → 0. Tại điểm khả vi, f′(x₀) là hệ số góc tiếp tuyến. Định lý Lagrange: nếu f liên tục trên [a, b] và khả vi trên (a, b), tồn tại c thuộc (a, b) sao cho f′(c) = (f(b) − f(a))/(b − a).

Tích phân xác định, Tổng Riemann & Diện tích có dấu

Tích phân xác định là giới hạn của tổng Riemann. Miền nằm dưới trục hoành đóng góp giá trị âm vào tích phân. Muốn tính diện tích hình học phải tách tại các giao điểm với trục hoành và lấy tổng trị tuyệt đối.

Khai triển Taylor, Chuỗi Maclaurin & Phần dư Lagrange

Mọi hàm khả vi vô hạn lân cận x₀ có khai triển Taylor: f(x) = ∑_{k=0}^n [f^(k)(x₀)/k!]·(x − x₀)^k + R_n(x). Phần dư Lagrange: R_n(x) = [f^(n+1)(c)/(n+1)!]·(x − x₀)^(n+1) với c nằm giữa x₀ và x. Khi x₀ = 0 gọi là chuỗi Maclaurin: e^x = 1 + x + x²/2! + x³/3! + ...; sin x = x − x³/3! + x⁵/5! − ...; cos x = 1 − x²/2! + x⁴/4! − ...; 1/(1−x) = 1 + x + x² + ... (|x| < 1).

PT vi phân Tách biến & Đẳng cấp cấp 1

1. Tách biến: dy/dx = g(x)·h(y) ⇔ dy/h(y) = g(x)dx (với h(y) ≠ 0). 2. Đẳng cấp: y′ = f(y/x), đặt u = y/x ⇒ y = ux ⇒ y′ = u + x·du/dx, đưa về tách biến du/(f(u) − u) = dx/x. Với y′ = f((a₁x+b₁y+c₁)/(a₂x+b₂y+c₂)), tịnh tiến đổi gốc tọa độ để triệt tiêu c₁, c₂.

PT vi phân Tuyến tính cấp 1 & Thừa số tích phân

Dạng chính tắc: y′ + P(x)y = Q(x). Thừa số tích phân Euler: μ(x) = e^(∫P(x) dx). Nhân hai vế: [y·μ(x)]′ = Q(x)·μ(x). Công thức nghiệm giải tích: y(x) = e^(−∫P dx)·[∫Q(x)·e^(∫P dx) dx + C].

PT vi phân Bernoulli & Riccati

1. Bernoulli: y′ + P(x)y = Q(x)yⁿ (n ≠ 0, 1). Tuyến tính hóa bằng ẩn phụ z = y^(1−n) đưa về z′ + (1−n)P(x)z = (1−n)Q(x) (lưu ý nghiệm dừng y = 0). 2. Riccati: y′ = P(x)y² + Q(x)y + R(x). Khi biết một nghiệm riêng y₁(x), đặt y = y₁(x) + 1/z(x) để quy về tuyến tính cấp 1 theo z.

PT vi phân Toàn phần & Thừa số tích phân Euler

Dạng P(x, y)dx + Q(x, y)dy = 0 là vi phân toàn phần khi và chỉ khi ∂P/∂y = ∂Q/∂x. Hàm thế U(x, y) = ∫P dx + ∫[Q − ∂(∫P dx)/∂y] dy = C. Nếu ∂P/∂y ≠ ∂Q/∂x, tìm thừa số tích phân μ(x) = e^(∫(Py−Qx)/Q dx) hoặc μ(y) = e^(∫(Qx−Py)/P dy).

PT vi phân Tuyến tính cấp 2 hệ số hằng & Biến thiên Lagrange

y″ + ay′ + by = f(x). Phương trình đặc trưng r² + ar + b = 0. Nghiệm toàn phần: y = y_th + y_r. Phương pháp biến thiên hằng số Lagrange toàn năng qua Wronskian W(y₁, y₂) = y₁y₂′ − y₁′y₂ ≠ 0: u₁′ = −y₂f/W, u₂′ = y₁f/W ⇒ y_r = u₁y₁ + u₂y₂.

PT Euler - Cauchy, Giải số RK4 & Đạo hàm riêng PDEs

1. Euler-Cauchy: ax²y″ + bxy′ + cy = f(x) (x > 0) đổi biến x = e^t. 2. Runge-Kutta bậc 4 (RK4): y_{n+1} = y_n + (h/6)(k₁ + 2k₂ + 2k₃ + k₄) với sai số O(h⁴). 3. PDEs: PT sóng D′Alembert u_{tt} = c²u_{xx}, PT nhiệt Fourier u_t = α²u_{xx}, PT Laplace Δu = 0.

Phân rã ma trận hiện đại: LU, Cholesky, QR & SVD

1. LU: A = LU (L tam giác dưới, U tam giác trên) giải hệ Ax = b nhanh trong O(n²) sau khi phân rã O(n³/3). 2. Cholesky: A = L·Lᵀ áp dụng cho ma trận thực đối xứng xác định dương, nhanh gấp đôi LU. 3. QR: A = QR (Q trực giao QᵀQ = I, R tam giác trên), giải tối ưu bài toán bình phương cực tiểu Least Squares. 4. SVD (Singular Value Decomposition): A = U·Σ·Vᵀ với U, V trực giao, Σ chứa các giá trị suy biến giảm dần; là nền tảng của nén ảnh, giảm chiều PCA và hệ thống gợi ý AI.

Ví dụ mẫu có giải thích

Ví dụ 1 (Tuyến tính cấp 1): Giải y′ + 2y = 4 với y(0) = 3. Thừa số tích phân μ(x) = e^(2x) ⇒ (y·e^(2x))′ = 4e^(2x) ⇒ y·e^(2x) = 2e^(2x) + C ⇒ y = 2 + C·e^(−2x). y(0) = 3 ⇒ C = 1 ⇒ y = 2 + e^(−2x). Ví dụ 2 (Khai triển Maclaurin): f(x) = cos(2x) = 1 − (2x)²/2! + (2x)⁴/4! − ... = 1 − 2x² + (2/3)x⁴ − ... Ví dụ 3 (Phân rã ma trận Cholesky): Ma trận đối xứng dương A = [[4, 2], [2, 10]] phân rã thành L = [[2, 0], [1, 3]] thỏa mãn L·Lᵀ = A.

Ngộ nhận cần tránh

  • f′(a) = 0 chỉ mới là điều kiện cần; điểm dừng có thể là điểm uốn chứ không nhất thiết là cực trị.
  • Tích phân xác định là diện tích có dấu; muốn tính diện tích hình học phải tách tại các nghiệm và lấy trị tuyệt đối.
  • Khi tìm nghiệm phương trình vi phân tuyến tính y′ + P(x)y = Q(x), quên cộng hằng số C TRƯỚC KHI chia cho thừa số tích phân μ(x) dẫn đến sai hoàn toàn họ nghiệm.
  • Chuỗi Maclaurin của 1/(1−x) chỉ hội tụ khi |x| < 1; thay x = 2 vào chuỗi sẽ dẫn đến kết quả vô nghĩa.
  • Phân rã Cholesky A = L·Lᵀ chỉ áp dụng được khi ma trận A đồng thời đối xứng và xác định dương (mọi giá trị riêng λ > 0).

Quy trình thí nghiệm mô phỏng: Đạo hàm, tích phân và phương trình vi phân

  1. Nhận dạng chuẩn xác loại bài toán (đạo hàm/tích phân, chuỗi Taylor, phương trình vi phân hay phân rã ma trận).
  2. Tính thừa số tích phân μ(x), giải phương trình đặc trưng, hoặc khai triển đạo hàm cấp cao tại x₀.
  3. Áp dụng tích phân, biến thiên Lagrange qua Wronskian, phân rã ma trận hoặc giải số RK4, sau đó đối chiếu điều kiện đầu.

An toàn và lưu ý

  • Bước h quá lớn trong phương pháp số Euler/RK4 có thể làm nghiệm bùng nổ mất ổn định; luôn đối chiếu với nghiệm giải tích hoặc giảm bước nhảy h.

Bằng chứng cần thu thập

  • Bài giải có nhận diện dạng phương trình, thừa số tích phân/phương trình đặc trưng, định thức Wronskian, nghiệm tổng quát và kiểm tra điều kiện đầu.
Mở thí nghiệm mô phỏng
📋 Nhúng thí nghiệm này vào bài giảng điện tử (Dành cho Giáo viên & LMS)

Sao chép đoạn mã iframe dưới đây để nhúng mô phỏng tương tác này vào Google Sites, LMS Moodle, Canvas, Microsoft Teams hoặc blog học tập:

<iframe src="https://visuallab.win/math-lab/?module=derivative_tangent&lang=vi" width="100%" height="560" frameborder="0" allow="fullscreen" loading="lazy"></iframe>

Kiểm tra đầu vào

1. Ý nghĩa hình học của đạo hàm f′(a) là gì?

  1. Hệ số góc của tiếp tuyến tại x = a
  2. Diện tích dưới đường cong
  3. Tung độ gốc của đồ thị
Xem đáp án và giải thích

Đáp án đúng: Hệ số góc của tiếp tuyến tại x = a

Tại điểm khả vi, đạo hàm chính là hệ số góc của tiếp tuyến.

2. Thừa số tích phân của phương trình vi phân tuyến tính y′ + P(x)y = Q(x) là gì?

  1. μ(x) = e^(∫P(x) dx)
  2. μ(x) = ∫P(x) dx
  3. μ(x) = e^(−∫Q(x) dx)
Xem đáp án và giải thích

Đáp án đúng: μ(x) = e^(∫P(x) dx)

Nhân cả hai vế với e^(∫P(x) dx) biến vế trái thành đạo hàm của tích [y · e^(∫P(x) dx)]′.

3. Khai triển Maclaurin bậc 3 của hàm số f(x) = e^x là gì?

  1. 1 + x + x²/2 + x³/6
  2. 1 + x + x² + x³
  3. x − x³/6
Xem đáp án và giải thích

Đáp án đúng: 1 + x + x²/2 + x³/6

e^x = 1 + x/1! + x²/2! + x³/3! = 1 + x + x²/2 + x³/6.

4. Trong phân rã giá trị suy biến SVD A = U·Σ·Vᵀ, các ma trận U và V có tính chất gì?

  1. Ma trận trực giao (UᵀU = I và VᵀV = I)
  2. Ma trận đường chéo
  3. Ma trận tam giác trên
Xem đáp án và giải thích

Đáp án đúng: Ma trận trực giao (UᵀU = I và VᵀV = I)

Trong phân rã SVD, U và V là các ma trận trực giao biểu diễn các phép quay/đối xứng hệ tọa độ, còn Σ là ma trận đường chéo chứa các giá trị suy biến không âm.

Luyện tập vận dụng

1. Với f(x) = x², đạo hàm f′(3) bằng bao nhiêu?

  1. 6
  2. 9
  3. 3
Xem đáp án và giải thích

Đáp án đúng: 6

f′(x) = 2x nên f′(3) = 2 · 3 = 6.

2. Nghiệm tổng quát của phương trình vi phân tuyến tính cấp 2 thuần nhất y″ − 4y = 0 là?

  1. y = C₁·e^(2x) + C₂·e^(−2x)
  2. y = (C₁ + C₂x)·e^(2x)
  3. y = C₁·cos(2x) + C₂·sin(2x)
Xem đáp án và giải thích

Đáp án đúng: y = C₁·e^(2x) + C₂·e^(−2x)

Phương trình đặc trưng r² − 4 = 0 ⇔ r = ±2. Do có 2 nghiệm thực phân biệt r₁ = 2, r₂ = −2 nên nghiệm tổng quát là y = C₁·e^(2x) + C₂·e^(−2x).

3. Hệ số của x² trong khai triển Maclaurin của hàm số f(x) = cos(2x) bằng bao nhiêu?

  1. −2
  2. 2
  3. −1/2
Xem đáp án và giải thích

Đáp án đúng: −2

Ta có cos(u) = 1 − u²/2 + ... Thay u = 2x được cos(2x) = 1 − (2x)²/2 = 1 − 4x²/2 = 1 − 2x². Vậy hệ số của x² là −2.

4. Phép phân rã Cholesky A = L·Lᵀ đòi hỏi ma trận vuông thực A phải thỏa mãn điều kiện bắt buộc nào?

  1. Đối xứng và xác định dương
  2. Định thức bằng 0
  3. Là ma trận tam giác
Xem đáp án và giải thích

Đáp án đúng: Đối xứng và xác định dương

Phân rã Cholesky chỉ tồn tại duy nhất khi ma trận A đối xứng (A = Aᵀ) và xác định dương (mọi phần tử xᵀAx > 0 với x ≠ 0).

5. Trong phương pháp biến thiên hằng số Lagrange cho phương trình y″ + y = f(x), định thức Wronskian W(cos x, sin x) bằng bao nhiêu?

  1. 1
  2. 0
  3. −1
Xem đáp án và giải thích

Đáp án đúng: 1

W = y₁y₂′ − y₁′y₂ = (cos x)(cos x) − (−sin x)(sin x) = cos²x + sin²x = 1 ≠ 0.

Nguồn kiểm tra chuyên môn

  1. Cambridge IGCSE Mathematics 0580 — đề cương và tài liệu chính thức
  2. Cambridge AS & A Level Mathematics 9709 — đề cương chính thức
  3. OpenStax Precalculus 2e — hàm số, hình học và xác suất

Nội dung được duy trì theo các nguồn trích dẫn bên dưới. Mô phỏng là mô hình học tập và không thay thế quy trình an toàn của phòng thí nghiệm thực.

Đơn vị xuất bản nội dung
WebLab STEM
Phụ trách kỹ thuật
Đức Tiến — Kỹ sư Điều khiển và Tự động hóa