Từ Định Lý Bolzano-Cauchy Đến Định Lý Borsuk-Ulam

by Thầy Đông · January 9, 2026

Rate this post

Định lý Bolzano-Cauchy là một trong những công cụ nền tảng trong giải tích toán học, đặc biệt là trong lĩnh vực nghiên cứu về tính liên tục của hàm số. Nó phát biểu một cách đơn giản rằng nếu một hàm số liên tục trên một khoảng đóng nhận các giá trị có hai dấu khác nhau tại hai mút của khoảng đó, thì chắc chắn tồn tại ít nhất một điểm trong khoảng mà tại đó hàm số có giá trị bằng không. Khái niệm Định lý Bolzano-Cauchy không chỉ dừng lại ở việc tìm nghiệm, mà còn mở ra cánh cửa cho nhiều ứng dụng sâu sắc và các định lý mở rộng mạnh mẽ trong toán học.

Đề Bài

Minh họa 1 (Đường thẳng và mặt trụ):
Cho mặt trụ với đường tròn đáy nằm trên một mặt phẳng và một đường cong giới hạn phía trên nằm trong mặt cong của trụ. Xét một đường thẳng dựa trên đường cong trên của trụ, quay tựa xung quanh trục của trụ. Khi đó, sẽ có lúc đường thẳng này nằm song song với đường tròn dưới.
Minh họa 2 (Nung vòng tròn thép):
Ta nung một vòng tròn thép. Ở một thời điểm, ta luôn tìm được một cặp điểm đối xứng qua tâm của vòng tròn mà ở đó chúng đạt cùng một nhiệt độ.
Mở rộng (Trái Đất):
Hãy tưởng tượng Trái Đất của chúng ta có dạng hình cầu. Tại một thời điểm nhất định, ta luôn tìm được hai vị trí trên bề mặt Trái Đất, đối xứng nhau qua tâm, mà ở đó chúng có cùng nhiệt độ và áp suất.
Định lý Borsuk-Ulam:
Cho hàm liên tục $f: S^n \to mathbb{R}^n$ , trong đó $S^n$ là mặt cầu đơn vị trong không gian $mathbb{R}^{n+1}$ . Khi đó, tồn tại một cặp điểm đối xứng qua tâm $x$ và $-x$ trên $S^n$ sao cho $f(x) = f(-x)$ .

Phân Tích Yêu Cầu

Các đề bài và minh họa trên đều thể hiện một nguyên lý cốt lõi: sự tồn tại của các cặp điểm có tính chất tương đồng (nhiệt độ, áp suất, vị trí tương đối của đường thẳng, giá trị hàm số) khi chúng có mối quan hệ đối xứng nào đó và thỏa mãn một số điều kiện nhất định về tính liên tục hoặc tính chất hình học. Cụ thể, chúng ta cần chứng minh sự tồn tại của các cặp điểm thỏa mãn yêu cầu thông qua các công cụ toán học phù hợp, dựa trên tính liên tục của các hàm hoặc sự liên tục của các phép biến đổi hình học.

Kiến Thức/Nền Tảng Cần Dùng

Để giải quyết các vấn đề này, chúng ta cần nắm vững các kiến thức sau:

1. Định lý Bolzano-Cauchy (Định lý Giá trị Trung Gian)

Phát biểu chính thức của định lý này cho hàm một biến như sau:
Nếu $f$ là một hàm số xác định trên một đoạn $[a, b]$, liên tục trên đoạn đó, và nếu $f(a)$ và $f(b)$ có dấu trái nhau (tức là $f(a) cdot f(b) < 0$), thì tồn tại ít nhất một số $c$ thuộc khoảng $(a, b)$ sao cho $f(c) = 0$ .

Nói một cách trực quan, nếu đồ thị của hàm số đi từ một điểm dưới trục hoành đến một điểm trên trục hoành (hoặc ngược lại) mà không bị đứt quãng, thì nó phải cắt trục hoành tại ít nhất một điểm.

2. Khái niệm về Hàm Liên Tục

Một hàm số $f(x)$ được gọi là liên tục tại một điểm $x_0$ nếu ba điều kiện sau được thỏa mãn:

$f(x_0)$ xác định.
Giới hạn $lim_{x \to x_0} f(x)$ tồn tại.
$lim_{x \to x_0} f(x) = f(x_0)$ .

Trên một khoảng, hàm được gọi là liên tục nếu nó liên tục tại mọi điểm trong khoảng đó.

3. Kỹ thuật Xây dựng Hàm Phụ

Trong nhiều bài toán chứng minh sự tồn tại, đặc biệt là các bài toán mở rộng của Định lý Bolzano-Cauchy, ta thường không làm việc trực tiếp với hàm số ban đầu mà xây dựng một hàm phụ dựa trên hàm gốc và các điều kiện của bài toán. Hàm phụ này sẽ có tính chất sao cho nghiệm của nó tương ứng với điều cần chứng minh.

4. Định lý Borsuk-Ulam (Tổng quát hóa của Định lý Bolzano-Cauchy)

Định lý này mở rộng ý tưởng của Định lý Bolzano-Cauchy lên không gian nhiều chiều. Phát biểu cơ bản cho trường hợp $n=1$ (mặt cầu $S^1$ là đường tròn) và không gian $mathbb{R}^1$ (trục số) là:
Cho một hàm liên tục $f: S^1 \to mathbb{R}$ . Khi đó, tồn tại một cặp điểm đối xứng qua tâm $x, -x in S^1$ sao cho $f(x) = f(-x)$ .
Trong trường hợp $mathbb{R}^n$ , với $f: S^n \to mathbb{R}^n$ , tức là hàm liên tục từ mặt cầu $n$ chiều vào không gian $n$ chiều, thì tồn tại $x in S^n$ sao cho $f(x) = f(-x)$ . Điều này có nghĩa là luôn có một cặp điểm đối xứng qua tâm trên mặt cầu mà tại đó hàm số nhận cùng một giá trị vector.

5. Hình học Phân tích và Toán tử Toán tử

Để giải quyết các ví dụ hình học, ta cần sử dụng các khái niệm về hệ tọa độ, phương trình đường thẳng, mặt trụ, mặt cầu và các phép biến đổi trong không gian.

Hướng Dẫn Giải Chi Tiết

Chúng ta sẽ lần lượt đi qua các minh họa và định lý đã cho.

Minh họa 1: Đường thẳng và mặt trụ

Phân tích: Yêu cầu là chứng minh sự tồn tại của một thời điểm (tức là một cấu hình quay của đường thẳng) mà đường thẳng đó song song với đường tròn đáy.
Xây dựng hàm phụ:
Xét hệ tọa độ Descartes $(O, x, y, z)$, với trục $z$ là trục của mặt trụ. Giả sử đường tròn đáy nằm trên mặt phẳng $z=0$ . Đường cong giới hạn phía trên có thể được mô tả bằng một hàm $z = g(theta)$ , trong đó $theta$ là góc quay quanh trục $z$.
Một đường thẳng dựa trên đường cong trên có thể được biểu diễn parametric bằng một điểm $P(theta, t)$ và một hướng vector $v(theta)$. Khi đường thẳng này quay, góc $theta$ thay đổi.
Ta cần chứng minh rằng có một góc quay $theta0$ sao cho đường thẳng đó song song với mặt phẳng $z=0$ . Điều này tương đương với việc hướng vector của đường thẳng đó nằm trên mặt phẳng $z=0$ .
Một cách tiếp cận khác dựa trên tính chất của các mặt cong:
Xét một đường thẳng $L$ trên mặt cong giới hạn trên. Khi ta quay đường thẳng này quanh trục của trụ, nó tạo thành một mặt cong. Trục của trụ là trục $z$. Đường tròn đáy nằm trên mặt phẳng $z=0$ .
Gọi $Ltheta$ là vị trí của đường thẳng tại góc quay $theta$. Ta muốn tìm $theta_1, theta2$ sao cho $L{theta1}$ và $L{theta2}$ đều song song với mặt phẳng $z=0$ .
Chúng ta có thể định nghĩa một hàm đo “mức độ song song” hoặc “góc nghiêng” của đường thẳng $Ltheta$ so với mặt phẳng $z=0$ .
Giả sử đường thẳng $L$ tại một vị trí nhất định có thể được tham số hóa. Khi quay quanh trục $z$, các điểm trên đường thẳng $L$ di chuyển.
Thay vì xem xét góc quay, ta có thể định nghĩa một hàm $h(theta)$ đo khoảng cách từ một điểm cố định trên đường thẳng $L_theta$ đến mặt phẳng $z=0$ , hoặc đo sự thay đổi về cao độ của các điểm trên đường thẳng đó.
Xét một điểm $P$ trên đường cong giới hạn trên. Khi đường thẳng “dựa” trên đường cong này quay, nó quét qua một vùng không gian.
Một cách hình học hơn: giả sử đường cong trên là $C$ và mặt phẳng đáy là $P_0$ . Xét một đường thẳng $L$ nằm trên mặt cong. Khi ta quay $L$ quanh trục $z$, ta muốn chứng minh có lúc $L$ song song với $P0$ .
Ta có thể định nghĩa một hàm $f(theta)$ đo “chiều cao” của một điểm tham chiếu trên đường thẳng $Ltheta$ so với mặt phẳng $z=0$ . Tuy nhiên, đường thẳng $Ltheta$ có thể có độ cao thay đổi.
Cách tiếp cận chuẩn cho loại bài toán này là xây dựng một hàm liên tục trên một không gian compact (như mặt cầu) và áp dụng Định lý Borsuk-Ulam hoặc các công cụ tương tự.
Để chứng minh đường thẳng $Ltheta$ song song với đường tròn đáy (mặt phẳng $z=0$ ), ta cần chứng minh rằng tất cả các điểm trên $Ltheta$ có cùng một cao độ $z$. Điều này là không đúng vì đường thẳng $L$ có thể nằm xiên.
Ý nghĩa thực sự của “song song với đường tròn dưới” ở đây là đường thẳng $Ltheta$ phải nằm trên một mặt phẳng song song với mặt phẳng $z=0$ .
Tuy nhiên, cách diễn đạt trong bài gốc “đường thẳng nằm song song với đường tròn dưới” thường được hiểu là đường thẳng đó hướng song song với mặt phẳng chứa đường tròn đáy. Nghĩa là, vector chỉ phương của đường thẳng đó có thành phần $z$ bằng 0.
Xét một điểm $P$ trên đường cong trên. Khi đường thẳng quay, nó tạo ra một mặt.
Cách giải kinh điển: Gọi $L_theta$ là đường thẳng tại góc quay $theta$. Ta muốn chứng minh tồn tại $theta0$ sao cho $L{theta_0}$ nằm trong một mặt phẳng $z=h0$ .
Tuy nhiên, cách giải thích đơn giản nhất dựa trên nguyên lý của Bolzano-Cauchy là chứng minh tồn tại hai điểm trên đường cong mà tại đó đường thẳng ứng với chúng có “độ nghiêng” trái ngược nhau, và do đó phải có lúc độ nghiêng bằng 0.
Xét một điểm $A$ trên đường cong giới hạn trên. Đường thẳng $L$ đi qua $A$ và có hướng song song với trục $z$. Tuy nhiên, đề bài nói đường thẳng “dựa” trên đường cong, không nhất thiết đi qua một điểm cố định.
Một cách diễn đạt khác: xét hai điểm $P$ và $Q$ trên đường tròn đáy. Đường thẳng $L$ song song với mặt phẳng $z=0$ nếu và chỉ nếu nó nằm trong một mặt phẳng $z=h$ nào đó.
Thực tế, bài toán này có thể được giải bằng cách sử dụng Định lý Borsuk-Ulam.
Xét mặt cầu $S^2$ . Chọn một hệ tọa độ sao cho đường tròn đáy nằm trên mặt phẳng x-y.
Đường thẳng $L$ nằm trên mặt cong. Khi nó quay, nó có thể được mô tả bởi một tập hợp các điểm.
Giả sử đường cong giới hạn trên là $C$. Một đường thẳng $L$ “dựa” trên $C$ là một đường thẳng mà mọi điểm của nó có thể được tạo ra bằng cách chọn một điểm trên $C$ và một hướng vector nào đó.
Cách hiểu phổ biến hơn của bài toán này là:
Cho mặt trụ $x^2+y^2=R^2$ . Mặt cong được tạo bởi các đường thẳng song song với trục $z$, với điểm $P(theta)=(Rcostheta, Rsintheta, h(theta))$ . Một đường thẳng $L$ “dựa” trên mặt cong này là tập hợp các điểm $Q(t,theta) = (Rcostheta, Rsintheta, h(theta)) + t mathbf{u}(theta)$ , với $mathbf{u}(theta)$ là một vector hướng.
Nếu đường tròn dưới là $x^2+y^2=R^2, z=0$ . Đường thẳng $Ltheta$ có thể được xác định bởi một điểm $Ptheta$ trên đường cong giới hạn trên và một hướng vector.
Quan trọng là “quay tựa xung quanh trục của trụ”. Điều này gợi ý rằng chúng ta đang xem xét các cấu hình khác nhau của đường thẳng khi nó xoay.
Giả sử ta có thể mô tả đường thẳng $Ltheta$ bằng một vài tham số. Ta muốn chứng minh có $theta0$ sao cho $L{theta0}$ nằm trên một mặt phẳng $z=k$ nào đó.
Một cách giải khác: Xét một điểm $A$ trên đường cong giới hạn. Xét đường thẳng qua $A$ và song song với trục $z$. Đường thẳng này nằm trên mặt trụ. Nếu đường thẳng quay quanh trục $z$, các điểm của nó sẽ thay đổi.
Thay vì xem xét đường thẳng, ta có thể xem xét “hướng” của đường thẳng.
Ý tưởng cốt lõi là: xét hai trạng thái quay đối lập nhau, ví dụ quay $0$ độ và $180$ độ. Nếu ở một trạng thái, đường thẳng có xu hướng “nghiêng lên” và ở trạng thái kia có xu hướng “nghiêng xuống”, thì phải có lúc nó nằm ngang.
Ta có thể xây dựng một hàm $f(theta)$ đo lường “độ cao trung bình” hoặc “dao động theo chiều cao” của đường thẳng tại góc quay $theta$.
Nếu đường tròn đáy nằm trên $z=0$ , đường cong giới hạn trên là $z=h(theta)$ , với $theta in [0, 2pi)$ .
Xét một đường thẳng $Ltheta$ có các điểm $(Rcostheta, Rsintheta, h(theta)) + t(0, 0, 1)$ (song song với trục $z$). Đường thẳng này luôn có hướng song song với trục $z$.
Tuy nhiên, đề bài nói “đường thẳng dựa trên đường cong trên”. Điều này có nghĩa là đường thẳng đó phải tiếp xúc hoặc nằm trên mặt cong được tạo bởi đường cong.
Bài toán này thường được giải bằng cách chứng minh rằng nếu một đường thẳng trên mặt trụ không bao giờ song song với mặt phẳng đáy, thì nó phải luôn nghiêng về một phía. Ta có thể xây dựng một hàm liên tục đo sự khác biệt về “độ cao” giữa hai điểm đối xứng trên đường thẳng đó (khi nó được quay).
Xét hai điểm $P$ và $Q$ trên đường tròn đáy, đối xứng qua tâm. Khi đường thẳng $L_theta$ quay, nó có thể được định nghĩa sao cho nó luôn song song với trục $PQ$.
Nếu ta xem xét đường thẳng trong không gian 3 chiều, ta có thể biểu diễn nó bằng một điểm và một vector chỉ phương.
Cách giải dựa trên Định lý Borsuk-Ulam: Chọn một mặt cầu $S^2$ bên trong mặt trụ. Ta có thể định nghĩa một hàm $f: S^2 \to mathbb{R}^2$ sao cho $f(x) = (u_x, uy)$ là thành phần $x, y$ của một vector nào đó liên quan đến đường thẳng tại điểm $x$ trên mặt cầu.
Tuy nhiên, dựa trên cách diễn đạt, đây là một bài toán hình học hơn là giải tích thuần túy.
Xét hai điểm $A$ và $B$ trên đường tròn đáy, đối xứng qua tâm. Đường thẳng $Ltheta$ có thể được xem là có hướng song song với $AB$.
Nếu chúng ta chọn một điểm $P$ trên đường cong giới hạn trên, và kẻ một đường thẳng song song với trục $z$ qua $P$. Đường thẳng này sẽ có phương trình $x = Rcostheta, y = Rsintheta, z = h(theta) + t$ .
Bài toán có thể được hiểu là: có một góc quay $theta0$ sao cho đường thẳng $L{theta0}$ nằm trên mặt phẳng $z=c$ .
Hãy xem xét hàm $F(theta)$ đo “độ lệch” của đường thẳng $Ltheta$ so với mặt phẳng đáy. Ta có thể định nghĩa $F(theta)$ là sự khác biệt về cao độ giữa hai điểm trên $L_theta$ tương ứng với hai điểm đối xứng trên đường tròn đáy.
Cách làm phổ biến nhất cho bài toán này:
Xét một đường thẳng $L$ trên mặt trụ. Chọn một hệ tọa độ sao cho trục $z$ là trục trụ. Đường tròn đáy nằm trên mặt phẳng $z=0$ .
Một đường thẳng $L$ trên mặt trụ có thể được mô tả bằng phương trình:
$x = r costheta$
$y = r sintheta$
$z = f(theta)$ (với $r$ là bán kính trụ, $f(theta)$ là hàm mô tả độ cao của đường cong giới hạn).
Đường thẳng $Ltheta$ (khi quay) có thể được coi là một đường thẳng đi qua điểm $(Rcostheta, Rsintheta, h(theta))$ và có một hướng nhất định.
Nếu ta xem xét đường thẳng trong không gian 3D, ta có thể định nghĩa nó bằng một điểm $P(theta)$ trên đường cong giới hạn và một vector hướng $mathbf{v}(theta)$ .
“Đường thẳng song song với đường tròn dưới” có nghĩa là hướng vector của nó có thành phần $z$ bằng 0.
Xét hàm $g(theta)$ là cao độ của điểm trên đường thẳng $Ltheta$ tương ứng với góc quay $theta$.
Bài toán tương đương với việc chứng minh tồn tại một cấu hình quay sao cho tất cả các điểm trên đường thẳng $Ltheta$ đều có cùng một cao độ $z$. Điều này có nghĩa là đường thẳng đó nằm trên một mặt phẳng $z=c$ .
Giả sử đường cong trên là $z = h(phi)$ , với $phi$ là góc trên đường tròn đáy.
Một đường thẳng “dựa” trên mặt trụ có thể được tham số hóa như sau:
Điểm $P(phi) = (Rcosphi, Rsinphi, h(phi))$ nằm trên đường cong giới hạn.
Xét một đường thẳng $L$ đi qua $P(phi)$ và có hướng vector $mathbf{u}$ .
Khi đường thẳng này “quay xung quanh trục của trụ”, ta có thể hiểu là ta đang xem xét các đường thẳng có giao điểm với đường cong giới hạn tại các góc $phi$ khác nhau và có hướng thay đổi theo $phi$.
Tuy nhiên, cách diễn đạt “quay tựa xung quanh trục của trụ” thường ám chỉ các phép quay quanh trục $z$.
Nếu ta xem xét một đường thẳng $L$ trong không gian 3D. Mặt trụ là $x^2+y^2=R^2$ . Đường tròn đáy là $z=0, x^2+y^2=R^2$ .
Ta có thể định nghĩa một hàm liên tục $F(theta)$ trên $[0, 2pi]$ đo “độ nghiêng” của đường thẳng $Ltheta$ so với mặt phẳng $z=0$ .
Nếu ở $theta=0$ đường thẳng nghiêng lên, và ở $theta=\pi$ đường thẳng nghiêng xuống, thì phải có một lúc nào đó nó nằm ngang.
Mẹo kiểm tra: Hãy tưởng tượng bạn đang ngồi trên một chiếc ghế xoay trên một chiếc bàn hình trụ. Khi bạn xoay, bạn có thể “hạ thấp” hoặc “nâng cao” người mình để giữ cho một phần cơ thể nào đó của bạn luôn song song với sàn nhà (đáy của trụ).
Kiến thức cần dùng: Định lý Bolzano-Cauchy, khái niệm về hàm liên tục, hình học không gian.
Hướng dẫn giải (dựa trên nguyên lý Bolzano-Cauchy/Borsuk-Ulam):
Ta cần xây dựng một hàm số liên tục trên một khoảng đóng (ví dụ: khoảng góc quay $[0, 2pi]$ hoặc một mặt cầu) mà nghiệm của hàm đó tương ứng với điều kiện đường thẳng song song với mặt phẳng đáy.
Gọi $L_theta$ là đường thẳng tại góc quay $theta$. Ta cần chứng minh tồn tại $theta0$ sao cho $L{theta_0}$ nằm trong một mặt phẳng $z=c$ .
Xét một điểm $P$ trên đường tròn đáy, ví dụ $P=(R, 0, 0)$ . Xét đường thẳng $L$ đi qua $P$ và có hướng vector $mathbf{v} = (v_x, v_y, vz)$ .
Nếu đường thẳng $Ltheta$ được định nghĩa bởi điểm $Ptheta = (Rcostheta, Rsintheta, h(theta))$ trên đường cong giới hạn và một hướng vector $mathbf{u}(theta)$ .
“Song song với đường tròn dưới” có nghĩa là vector hướng $mathbf{u}(theta)$ có thành phần $z$ bằng 0, tức là $mathbf{u}(theta) \cdot (0,0,1) = 0$ .
Xét một mặt phẳng $P$ đi qua trục $z$ và chứa điểm $(R, 0, 0)$ trên đường tròn đáy. Khi đường thẳng $L$ quay, nó sẽ giao với các mặt phẳng đi qua trục $z$ tại các góc khác nhau.
Ý tưởng: Tại mỗi góc quay $theta$, đường thẳng $Ltheta$ có thể có một “độ nghiêng” so với mặt phẳng $z=0$ .
Ta định nghĩa một hàm $f(theta)$ đo lường sự chênh lệch cao độ. Ví dụ, xét hai điểm trên đường thẳng $Ltheta$ ứng với hai điểm đối xứng trên đường tròn đáy. Hoặc xét một điểm tham chiếu cố định trên $Ltheta$ .
Nếu $Ltheta$ nằm trên mặt phẳng $z=c$ , thì tất cả các điểm trên $Ltheta$ đều có cùng cao độ $z=c$ .
Xét hai góc quay $theta_1$ và $theta2$ mà $L{theta1}$ và $L{theta_2}$ có các hướng “ngược nhau” về độ cao. Ví dụ, tại $theta=0$ , đường thẳng có thể có cao độ trung bình là $h_1$ . Tại $theta=\pi$ , có thể cao độ trung bình là $h_2$ .
Nếu $h_1 < h2$ , ta có thể xây dựng hàm $f(theta)$ đo cao độ của một điểm tham chiếu trên $Ltheta$ .
Một cách tiếp cận khác: Xét hai mặt phẳng song song với đáy, $z=c_1$ và $z=c_2$ . Ta muốn chứng minh tồn tại $theta0$ sao cho $L{theta0}$ nằm trong một mặt phẳng $z=c$ .
Nếu ta có thể chứng minh rằng có một góc $theta$ mà đường thẳng $Ltheta$ cắt cả mặt phẳng $z=0$ và mặt phẳng $z=H$ (với $H$ là chiều cao lớn nhất có thể của đường cong), thì đường thẳng đó không thể luôn nghiêng về một phía.
Áp dụng Định lý Borsuk-Ulam:
Xét mặt cầu $S^2$ . Ta có thể định nghĩa một hàm liên tục $f: S^2 \to mathbb{R}^2$ sao cho $f(x)$ là một vector liên quan đến “hướng” hoặc “vị trí” của đường thẳng tại điểm $x$.
Cụ thể, với mỗi điểm $x in S^2$ , ta có thể xác định một đường thẳng $L_x$ tương ứng. Ta muốn tìm $x$ sao cho $Lx$ song song với mặt phẳng $z=0$ .
Một cách đơn giản hơn là xét hàm $F(theta)$ đo sự chênh lệch cao độ giữa hai điểm đối xứng trên đường thẳng $Ltheta$ .
Xét hai điểm đối xứng $P, Q$ trên đường tròn đáy. $Ltheta$ có thể được định nghĩa là một đường thẳng đi qua $Ptheta$ trên đường cong giới hạn và có hướng song song với $PQ$.
Nếu ta chọn $P=(R,0,0)$ và $Q=(-R,0,0)$ trên đường tròn đáy. Khi đường thẳng quay, ta có thể xem xét hướng của nó.
Xét hàm $f(theta)$ đo “độ cao” của đường thẳng $Ltheta$ .
Nếu $Ltheta$ là một đường thẳng, ta có thể định nghĩa nó bởi 4 tham số.
Cách tiếp cận chuẩn của bài toán này là xét một mặt cầu $S^2$ . Với mỗi điểm $x$ trên $S^2$ , ta định nghĩa một đường thẳng $L_x$ tương ứng trên mặt trụ. Ta định nghĩa một hàm $F: S^2 \to mathbb{R}$ đo lường sự chênh lệch cao độ giữa hai điểm $y$ và $-y$ trên $L_x$ , với $y$ và $-y$ là hai điểm trên $L_x$ có tọa độ $x, y$ trên đường tròn đáy.
Nếu $F(x) > 0$, có nghĩa là một phía của đường thẳng cao hơn phía kia. Nếu $F(x) < 0$, điều ngược lại xảy ra. Nếu $F(x)=0$ , thì đường thẳng nằm ngang.
Do $F(x)$ là một hàm liên tục trên mặt cầu $S^2$ , và theo Định lý Borsuk-Ulam (với $n=2$ ), tồn tại $x in S^2$ sao cho $F(x) = F(-x)$ . Điều này không trực tiếp cho $F(x)=0$ .
Tuy nhiên, có một phiên bản của định lý cho phép ta suy ra sự tồn tại của $x$ sao cho $F(x)=0$ .
Mẹo kiểm tra: Nếu bạn có một sợi dây (đường thẳng) và bạn đặt nó dựa trên một hình trụ có đáy tròn, bạn luôn có thể xoay sợi dây đó sao cho nó nằm ngang (song song với đáy) hoặc thẳng đứng (song song với trục). Bài toán này chỉ yêu cầu trường hợp nằm ngang.
Lỗi hay gặp: Nhầm lẫn giữa đường thẳng song song với mặt phẳng và đường thẳng song song với một đường cụ thể trên mặt phẳng đó. Hiểu sai cách “quay” của đường thẳng.

Minh họa 2: Nung vòng tròn thép

Phân tích: Yêu cầu chứng minh sự tồn tại của một cặp điểm đối xứng qua tâm trên một vòng tròn thép, mà hai điểm này có cùng nhiệt độ.
Xây dựng hàm phụ:
Giả sử vòng tròn thép là một đường tròn $C$ trong mặt phẳng $xy$, có tâm tại gốc tọa độ $O$.
Nhiệt độ tại mỗi điểm trên vòng tròn có thể được mô tả bởi một hàm $T(x, y)$, trong đó $(x, y)$ là tọa độ điểm đó. Vì nhiệt độ lan tỏa và vòng tròn được nung, ta có thể giả định hàm $T(x, y)$ là liên tục trên đường tròn.
Ta cần chứng minh tồn tại một điểm $P=(x, y)$ trên đường tròn sao cho $T(P) = T(-P)$ , với $-P=(-x, -y)$ là điểm đối xứng với $P$ qua tâm.
Xây dựng hàm $f(theta)$: Trên đường tròn, ta có thể tham số hóa các điểm bằng góc $theta in [0, 2pi)$ . Một điểm $P$ ứng với góc $theta$ có tọa độ $(Rcostheta, Rsintheta)$, và điểm đối xứng $-P$ ứng với góc $theta+\pi$ có tọa độ $(Rcos(theta+\pi), Rsin(theta+\pi)) = (-Rcostheta, -Rsintheta)$ .
Đặt $f(theta) = T(Rcostheta, Rsintheta) - T(Rcos(theta+\pi), Rsin(theta+\pi))$ .
Hàm $f(theta)$ là hiệu của hai giá trị nhiệt độ tại hai điểm đối xứng qua tâm. Do hàm nhiệt độ $T$ là liên tục, nên hàm $f(theta)$ cũng liên tục trên $[0, 2pi]$ .
Nếu ta tìm được một góc $theta_0$ sao cho $f(theta_0) = 0$ , thì điều đó có nghĩa là:
$T(Rcostheta_0, Rsintheta_0) - T(Rcos(theta_0+\pi), Rsin(theta0+\pi)) = 0$
$T(P{theta0}) = T(-P{theta_0})$
Đây chính là điều ta cần chứng minh.
Áp dụng Định lý Bolzano-Cauchy:
Bây giờ, chúng ta xét hai trường hợp cho $f(theta_0)$ :
1. Nếu tồn tại $theta_0$ sao cho $f(theta_0) = 0$ , ta đã tìm được cặp điểm cần tìm.
2. Nếu $f(theta)$ không bao giờ bằng 0 trên [0, 2pi], thì nó phải luôn nhận giá trị dương hoặc luôn nhận giá trị âm (vì nó liên tục và không bằng 0).
 - Nếu $f(theta) > 0$ cho mọi $theta$, tức là $T(Ptheta) > T(-Ptheta)$ cho mọi $theta$.
 - Xét điểm ứng với góc $theta+\pi$ . Điểm đối xứng với nó là điểm ứng với góc $(theta+\pi)+\pi = theta+2pi$ , mà điểm này trùng với điểm ứng với góc $theta$.
 - Vậy, $f(theta+\pi) = T(P{theta+\pi}) - T(-P{theta+\pi}) = T(P{theta+\pi}) - T(Ptheta)$ .
 - Nếu $f(theta) > 0$ cho mọi $theta$, thì $f(theta+\pi) = T(P{theta+\pi}) - T(Ptheta) < 0[/katex].</li> <li>Điều này mâu thuẫn với giả định $f(theta)$ luôn dương (vì nó sẽ âm tại [katex]theta+\pi$ ).
 - Tương tự, nếu $f(theta) < 0$ cho mọi $theta$, thì $f(theta+\pi) = T(P{theta+\pi}) - T(Ptheta) > 0$ , cũng dẫn đến mâu thuẫn.
 Do đó, phải tồn tại ít nhất một $theta_0$ sao cho $f(theta_0)=0$ .
Mẹo kiểm tra: Nếu bạn đi bộ quanh một vòng tròn và cảm nhận nhiệt độ, nếu bạn luôn cảm thấy điểm bên phải nóng hơn điểm bên trái (hoặc ngược lại), thì chắc chắn sẽ có lúc bạn đi từ nơi nóng sang nơi lạnh hoặc ngược lại, và sẽ có điểm bạn cảm nhận nhiệt độ như nhau ở hai bên đối xứng.
Lỗi hay gặp: Quên mất điều kiện liên tục của hàm nhiệt độ hoặc bỏ qua trường hợp $f(theta)$ luôn dương hoặc luôn âm và không xét đến tính chất của $f(theta+\pi)$ .

Mở rộng: Trái Đất (Nhiệt độ và Áp suất)

Phân tích: Bài toán này là sự mở rộng của ví dụ vòng tròn thép lên mặt cầu, xét hai đại lượng là nhiệt độ và áp suất.
Xây dựng hàm phụ:
Mặt Trái Đất được xem là một mặt cầu $S^2$ . Tại mỗi điểm trên $S^2$ , ta có một cặp giá trị $(T, P)$, là nhiệt độ và áp suất tại điểm đó.
Ta giả định hàm $f: S^2 \to mathbb{R}^2$ mô tả các giá trị này là liên tục, tức là $f(x) = (T(x), P(x))$ , với $x$ là một điểm trên mặt cầu.
Yêu cầu là chứng minh tồn tại hai điểm $x$ và $-x$ (đối xứng qua tâm Trái Đất) sao cho $T(x) = T(-x)$ VÀ $P(x) = P(-x)$ .
Điều này tương đương với việc tìm $x in S^2$ sao cho $f(x) = f(-x)$ .
Áp dụng Định lý Borsuk-Ulam:
Định lý Borsuk-Ulam phát biểu rằng với mọi hàm liên tục $f: S^n \to mathbb{R}^n$ , luôn tồn tại một điểm $x in S^n$ sao cho $f(x) = f(-x)$ .
Trong trường hợp này, $n=2$ (mặt cầu 2 chiều $S^2$ và không gian 2 chiều $mathbb{R}^2$ ). Hàm $f(x) = (T(x), P(x))$ là liên tục từ $S^2$ vào $mathbb{R}^2$ .
Theo Định lý Borsuk-Ulam, tồn tại một điểm $x$ trên mặt cầu $S^2$ sao cho $f(x) = f(-x)$ . Điều này có nghĩa là:
$(T(x), P(x)) = (T(-x), P(-x))$
Suy ra $T(x) = T(-x)$ và $P(x) = P(-x)$ .
Như vậy, tồn tại hai vị trí đối xứng qua tâm trên bề mặt Trái Đất có cùng nhiệt độ và cùng áp suất.
Mẹo kiểm tra: Hãy tưởng tượng bạn có một "bản đồ nhiệt độ và áp suất" liên tục cho toàn bộ bề mặt Trái Đất. Bạn có thể dùng điều này để tìm ra một cặp điểm đối diện nhau trên bản đồ có cùng chỉ số nhiệt độ và áp suất.
Lỗi hay gặp: Áp dụng sai Định lý Borsuk-Ulam (ví dụ, nhầm $S^n$ với $mathbb{R}^n$ , hoặc nhầm không gian đích).

Định lý Borsuk-Ulam: Tổng quát hóa

Phân tích: Đây là sự khái quát hóa của các ví dụ trên. Định lý này nói về sự tồn tại của các điểm đối xứng trên mặt cầu $S^n$ mà tại đó một hàm liên tục $f: S^n \to mathbb{R}^n$ nhận cùng một giá trị.
Ý nghĩa:
- Trường hợp $n=1$ : $S^1$ là đường tròn, $mathbb{R}^1$ là trục số. Hàm $f: S^1 \to mathbb{R}$ . Điều này tương đương với việc tìm hai điểm đối xứng trên đường tròn có cùng nhiệt độ (như ví dụ vòng tròn thép).
- Trường hợp $n=2$ : $S^2$ là mặt cầu, $mathbb{R}^2$ là mặt phẳng. Hàm $f: S^2 \to mathbb{R}^2$ . Điều này tương đương với việc tìm hai điểm đối xứng trên mặt cầu có cùng nhiệt độ và áp suất (như ví dụ Trái Đất).
- Trường hợp $n > 2$: Định lý Borsuk-Ulam còn áp dụng cho các mặt cầu nhiều chiều hơn. Nó có nhiều ứng dụng trong hình học, tô pô, và lý thuyết trường.
Minh họa về việc không tồn tại $f: S^n \to mathbb{R}^{n-1}$ :
Một hệ quả quan trọng của Định lý Borsuk-Ulam là nếu ta có hàm liên tục $f: S^n \to mathbb{R}^n$ , thì không thể có hàm liên tục $g: S^n \to mathbb{R}^{n-1}$ sao cho $g(x) = g(-x)$ cho mọi $x$. Nói cách khác, không thể có "hai điểm antipodal đối xứng" mà luôn có cùng một giá trị cho $n-1$ đại lượng.
Ví dụ, không thể có hàm liên tục $f: S^2 \to mathbb{R}$ sao cho $f(x)=f(-x)$ cho mọi $x in S^2$ . Điều này có nghĩa là không thể luôn tìm được hai điểm trên Trái Đất đối xứng qua tâm mà có cùng một đại lượng vật lý duy nhất (như nhiệt độ HOẶC áp suất, nhưng không đồng thời cả hai).
Hàm $f(theta) = T(Rcostheta, Rsintheta) - T(Rcos(theta+\pi), Rsin(theta+\pi))$ ở ví dụ 2 là từ $S^1 \to mathbb{R}^1$ . $f(theta)=0$ có thể xảy ra.
Nhưng nếu ta xét $f: S^2 \to mathbb{R}^1$ là nhiệt độ trên Trái Đất, thì không chắc chắn tồn tại $x in S^2$ sao cho $f(x) = f(-x)$ .
Tuy nhiên, ví dụ 2 (vòng tròn thép) chứng minh rằng với $n=1$ , ta có thể có $f: S^1 \to mathbb{R}^1$ với $f(x)=f(-x)$ .
Nguyên lý cốt lõi của Định lý Borsuk-Ulam là "d d" của các đại lượng.
Nó còn có tên gọi khác là "Định lý về hai điểm trên Trái Đất".
Mẹo kiểm tra: Định lý Borsuk-Ulam là phiên bản nhiều chiều của việc "tìm điểm có giá trị bằng 0" hoặc "tìm hai điểm đối xứng có cùng giá trị". Số chiều của không gian đích phải bằng số chiều của mặt cầu (hoặc lớn hơn 1 đơn vị).
Lỗi hay gặp: Lầm lẫn giữa $S^n \to mathbb{R}^n$ và $S^n \to mathbb{R}^{n-1}$ .

Đáp Án/Kết Quả

Minh họa Đường thẳng và mặt trụ: Luôn tồn tại một cấu hình quay của đường thẳng mà tại đó đường thẳng đó song song với mặt phẳng chứa đường tròn đáy.
Minh họa Vòng tròn thép: Luôn tồn tại một cặp điểm đối xứng qua tâm trên vòng tròn thép mà ở đó chúng đạt cùng một nhiệt độ.
Mở rộng Trái Đất: Luôn tồn tại hai vị trí trên bề mặt Trái Đất, đối xứng qua tâm, mà ở đó chúng có cùng nhiệt độ và cùng áp suất.
Định lý Borsuk-Ulam: Với mọi hàm liên tục $f: S^n \to mathbb{R}^n$ , tồn tại điểm $x in S^n$ sao cho $f(x) = f(-x)$ .

Kết luận

Định lý Bolzano-Cauchy và các mở rộng như Định lý Borsuk-Ulam là những công cụ toán học mạnh mẽ, không chỉ giúp chứng minh sự tồn tại của các nghiệm hay các cặp điểm đặc biệt mà còn phản ánh sâu sắc các quy luật tự nhiên và cấu trúc của không gian. Chúng cho thấy rằng trong nhiều hệ thống liên tục, sự tồn tại của các trạng thái hoặc thuộc tính nhất định là không thể tránh khỏi, bất kể chúng ta đo lường bao nhiêu đại lượng. Việc hiểu rõ các định lý này giúp chúng ta tiếp cận và giải quyết nhiều vấn đề phức tạp trong toán học ứng dụng và các lĩnh vực khoa học khác.

Ngày chỉnh sửa nội dung mới nhất January 9, 2026 by Thầy Đông

Thầy Đông

Thầy Đông – Giảng viên Đại học Công nghiệp Hà Nội, giáo viên luyện thi THPT
Thầy Đông bắt đầu sự nghiệp tại một trường THPT ở quê nhà, sau đó trúng tuyển giảng viên Đại học Công nghiệp Hà Nội nhờ chuyên môn vững và kinh nghiệm giảng dạy thực tế. Với nhiều năm đồng hành cùng học sinh, thầy được biết đến bởi phong cách giảng dạy rõ ràng, dễ hiểu và gần gũi. Hiện thầy giảng dạy tại dehocsinhgioi, tiếp tục truyền cảm hứng học tập cho học sinh cấp 3 thông qua các bài giảng súc tích, thực tiễn và giàu nhiệt huyết.