Kvant

Bản dịch tự động sơ bộ, chất lượng thấp: có thể còn lỗi và câu chữ chưa tự nhiên. Bản này sẽ được thay bằng bản dịch tốt hơn. Bản gốc →

20

Bề mặt yên xe

Mỗi người trong số các bạn chắc chắn đều biết rằng tập hợp các điểm trên một mặt phẳng cách đều hai điểm cho trước là phân giác của đoạn vuông góc nối chúng. Tập hợp các điểm cách đều hai đường thẳng song song hoặc cắt nhau cũng được sắp xếp đơn giản. Hình 1 cho thấy hai trong số các tập hợp này, mặc dù không dành cho mặt phẳng mà dành cho không gian.

Và tập hợp các điểm cách đều hai giao điểm trông như thế nào?

w và v a y u sh i h s i đường thẳng? Bạn sẽ tìm hiểu về điều này bằng cách đọc bài viết.

Trước khi chuyển sang phần trình bày chính, chúng tôi đưa ra định nghĩa về không gian mới xung quanh trục.

Chuyển động quay của không gian là bất kỳ chuyển động nào của không gian trong đó một tập hợp các điểm bất động tạo thành một đường thẳng (được gọi là trục của bề mặt). Khi không gian quay quanh trục của mỗi mặt phẳng thì mặt phẳng vuông góc với trục quay biến thành chính nó. Chuyển động kết quả của các mặt phẳng này là các phép quay xung quanh điểm giao nhau của chúng với trục ở cùng một góc và cùng hướng *) (Hình 2).

Chúng ta sẽ biểu thị một ngã rẽ có trục ll bằng RlR_l, một ngã rẽ, một ngã rẽ ngược RlR_l, bằng R−l1R_{-l}^1,

*) Sự dịch chuyển giống hệt nhau cũng có thể được coi là một phép quay không gian xung quanh một trục (theo một góc bằng 0), nhưng các phép quay cũng sẽ không được tìm thấy trong bài viết này.

21

Hình 1.

Để mô tả tập hợp các điểm của chúng ta (ký hiệu là FF), chúng ta cần một số phát biểu về phép quay. Chúng tôi sẽ xây dựng chúng khi cần thiết dưới dạng bổ đề và cách chứng minh tất cả các bổ đề được đưa ra ở cuối bài viết. Sẽ rất hữu ích cho người đọc khi tự mình chứng minh các bổ đề này.

  1. Trước hết, chúng ta sẽ chỉ ra rằng qua mỗi điểm của tập hợp có hai đường thẳng thuộc nó đi qua.

Đặt mm và nn là dữ liệu của đường giao nhau và điểm AA cách đều chúng. Chúng ta hãy biểu thị bằng A1A_1 và A2A_2 các hình chiếu trực giao của điểm này lên các đường thẳng mm và nn tương ứng (Hình 3). Giả sử ll vuông góc với mặt phẳng A1AA2A_1AA_2 đi qua điểm AA. Chúng ta hãy xoay không gian xung quanh trục ll sao cho điểm A1A_1 tiến tới điểm A2A_2. Khi đó đường thẳng mm sẽ biến thành đường thẳng m1m_1, đi qua điểm A2A_2 và vuông góc với đường thẳng AA2AA_2. Tiếp theo, bạn có thể thực hiện hai phép quay với trục AA2AA_2 sao cho đường thẳng m1m_1 biến thành đường thẳng nn: RAA2R_{AA_2} và RAA2′R'_{AA_2}. Do sự kết hợp của các lượt RlR_l và RAA2R_{AA_2} (RlR_l và RAA2′R'_{AA_2}), đường thẳng mm sẽ biến thành đường thẳng nn. Hoá ra bổ đề sau đây là đúng: hợp của hai phép quay quanh hai trục cắt nhau là một phép quay quanh trục đi qua giao điểm của chúng. Do đó, tồn tại một đường thẳng uu đi qua điểm AA sao cho RAA2∘Rl=RuR_{AA_2} \circ R_l = R_u. Tương tự, có một đường thẳng vv đi qua AA sao cho RAA2′∘Rl=RvR'_{AA_2} \circ R_l = R_v.

Hình 2.

từ điểm AA đến đường thẳng nn.

  1. Có ít nhất một điểm thuộc tập hợp của chúng ta không?

Chúng ta hãy vẽ qua đường thẳng mm một mặt phẳng song song với đường thẳng nn và qua đường thẳng nn một mặt phẳng song song với đường thẳng mm. Những mặt phẳng này song song. Chúng ta hãy biểu thị bằng α\alpha mặt phẳng cách đều chúng. Các hình chiếu trực giao m′m' và n′n' là trực tiếp mm và nn lên mặt phẳng α\alpha sẽ giao nhau tại một điểm nào đó OO (Hình 4). Rõ ràng,

22

điểm OO thuộc tập FF. Và sau đó, như chúng ta đã tìm ra, có ít nhất hai đường thẳng đi qua nó, bao gồm các điểm trong tập hợp của chúng ta.

Đúng 2. Chứng minh có đúng hai đường thẳng như vậy đi qua điểm OO (ta ký hiệu chúng là xx và yy). Chứng minh rằng các đường thẳng này là trục đối xứng của các đường thẳng m′m' và n′n'.

Vì vậy, tập hợp của chúng tôi chứa các dòng thay thế xx và yy, và qua mỗi điểm của những dòng này sẽ đi qua một dòng khác thuộc tập hợp của chúng tôi.

  1. Bây giờ chúng ta hãy đảm bảo rằng sự kết hợp các điểm của những đường này tạo thành toàn bộ tập hợp của chúng ta. Để làm điều này, chúng ta hãy chứng minh rằng nếu điểm A∈FA \in F không nằm trên đường thẳng xx, cũng không nằm trên đường thẳng yy, thì một trong các đường thẳng thuộc tập hợp đi qua nó cắt xx, và đường kia yy, và rằng qua mỗi điểm của nó chỉ có hai đường thẳng như vậy đi qua.

a) Trên mỗi đường thẳng mm và nn, chúng ta dùng mũi tên đánh dấu một hướng nhất định, chẳng hạn như trong Hình 4. Khi đó, bất kỳ trục quay nào biến đường thẳng có hướng mm thành đường thẳng có hướng nn (với các hướng được chỉ ra trong Hình 4!) thì song song với mặt phẳng đi qua đường thẳng xx và vuông góc với mặt phẳng α\alpha.

Trên thực tế, trục uu tạo thành các góc bằng nhau với các đường thẳng mm và nn. Chúng ta hãy cắt các đường thẳng song song mm, nn và trục uu sao cho chúng đi qua điểm OO (xem Hình 4). Chúng ta có các đường thẳng m′m', n′n' và u′u'. Vì trong quá trình dịch song song, các góc giữa các đường thẳng không thay đổi nên đường thẳng u′u' tạo thành các góc bằng nhau với các đường thẳng m′m' và n′n'. Điều này có nghĩa là nó nằm trong mặt phẳng xOzxOz, trong đó z⊥αz \perp \alpha (xem bài tập 2 và Hình 4). Do đó, đường thẳng uu song song với mặt phẳng này.

Bây giờ chúng ta lấy hai trục uu và vv phép quay biến đường thẳng mm thành đường thẳng nn trong khi vẫn giữ nguyên hướng. Hãy chứng minh rằng các đường uu và vv cắt nhau.

Trước tiên chúng ta giả sử rằng chúng giao nhau tại điểm BB. Chúng ta hãy thực hiện một phép quay quanh trục uu, biến đổi mm thành nn trong khi vẫn giữ nguyên hướng, sau đó xoay quanh vv, biến đổi nn thành mm, cũng giữ nguyên hướng. Vì uu và vv, theo mệnh đề, cắt nhau, nên thành phần của các phép quay được chỉ định là một phép quay (bổ đề từ mục 1). Vòng xoay này ánh xạ đường thẳng mm lên chính nó trong khi vẫn duy trì hướng. Nhưng điều này là không thể, như bổ đề sau đây cho thấy: khi quay không gian quanh một trục, một đường thẳng được ánh xạ lên chính nó trong khi vẫn giữ nguyên hướng - trục quay.

Bây giờ chúng ta giả sử rằng u∥vu \parallel v. Như trên, khi di chuyển Rv−1R^{-1}_v ∘Ru\circ R_u đường thẳng mm biến thành chính nó đồng thời giữ nguyên hướng. Mặt khác, thành phần của hai phép quay có trục song song là phép quay quanh một trục thẳng song song với chúng hoặc phép dịch chuyển theo hướng phân bố lại cho các trục này. Trong trường hợp đầu tiên m∥um \parallel u, sau đó là n∥mn \parallel m. Trong phần thứ hai - m⊥um \perp u và thu được từ mm bằng cách quay quanh đường thẳng uu đường thẳng nn nằm trong cùng một mặt phẳng cc mm.

Do đó, các đường thẳng uu và vv không song song cũng không cắt nhau. Vậy là chúng đang giao phối với nhau. Hãy kết hợp các trục này thành một lớp.

  1. Ví dụ: thay đổi hướng trên một trong các đường đã cho thành nn. Khi đó, các trục quay ánh xạ đường thẳng mm lên nn (với các hướng mới được chỉ định trên chúng) cũng giao nhau theo cặp và song song với mặt phẳng yOzyOz (xem Hình 4). Các trục kết quả sẽ được gán cho một lớp khác.

23

Hình 5.

c) Cho trục uu thuộc lớp thứ nhất và trục vv thuộc lớp thứ hai. Hãy chứng minh rằng các đường uu và vv cắt nhau. Thật vậy, khi di chuyển Rv−1∘RuR^{-1}_v \circ R_u, đường thẳng mm sẽ biến thành chính nó với sự thay đổi hướng. Do đó, chúng ta thu được một phép biến đổi của đường mm - đối xứng đến một điểm nhất định C∈mC \in m (bằng chứng!). Do đó Rv−1∘Ru(C)=CR^{-1}_v \circ R_u(C) = C và Rv(C)=Ru(C)=DR_v(C) = R_u(C) = D. Từ Ru(C)=D,Rv(C)=DR_u(C) = D, R_v(C) = D suy ra rằng tất cả các điểm của đường thẳng uu và vv đều cách đều các điểm CC và DD. Nhưng khi đó uu và vv nằm trong cùng một mặt phẳng (xem Hình 1). Do đó, nếu uu và vv không giao nhau thì chúng song song. Vì u∥xOzu \parallel xOz và v∥yOzv \parallel yOz, nên từ u∥vu \parallel v sẽ dẫn đến u∥zu \parallel z. Nhưng điều này là không thể, vì z⊥mz \perp m. Do đó, uu và vv cắt nhau.

d) Trục xx và yy rõ ràng thuộc các lớp khác nhau. Do đó, mỗi trục giao nhau với đường xx hoặc đường yy. Vì ba trục không thể đi qua điểm FF (vì khi đó hai trục sẽ thuộc cùng một lớp) nên không có điểm “không liên quan” nào trong hình.

  1. Nó vẫn còn để xây dựng bộ của chúng tôi. Để làm điều này, chúng ta dựng một hình song song có các trục song song với đường thẳng x,y,zx, y, z và tâm tại điểm OO (xem Hình 5), sao cho đường chéo của đáy trên và đáy lần lượt nằm trên đường thẳng mm và nn và khoảng cách từ đỉnh AA đến đường thẳng mm bằng cạnh bên của nó. Các điểm O1O_1 và O2O_2 phải có trục song song với mặt phẳng yOzyOz. Rõ ràng đây là những đường thẳng O1AO_1A và O2BO_2B. Mỗi trục song song với mặt phẳng xOzxOz phải giao với O1AO_1A và O2BO_2B, sau đó là ∣O1A∣=∣O2B∣|O_1A| = |O_2B|. Cấu trúc tương ứng được đưa ra ở trang 20 của tạp chí. (Tất nhiên, bạn có thể sử dụng các đường thẳng yy và OAOA, nhưng khi đó kết cấu sẽ không đối xứng như vậy.) Như bạn có thể thấy, kết quả là một bề mặt tương tự như một cái yên ngựa.

  2. Lấy các đường thẳng x,yx, y và zz làm trục tọa độ, chúng ta rút ra khả năng điều khiển bề mặt này. Các điều kiện được thiết lập bằng sự điều khiển trực tiếp của hai mặt phẳng cắt nhau dọc theo nó. Khi đó phần điều khiển của dòng mm và nn sẽ được viết dưới dạng

{y=kxz=c,\begin{cases} y = kx \\ z = c, \end{cases}

Các vectơ chỉ phương của các đường thẳng này có tọa độ:

m⃗={1;k;0},n⃗={1;−k;0}.\vec{m} = \{1; k; 0\}, \vec{n} = \{1; -k; 0\}.

Đặt điểm P(x,y,z)P(x, y, z) cách đều các đường mm và nn. Nếu MM và NN lần lượt là các hình chiếu trực giao của điểm PP lên các đường thẳng mm và nn thì ∣MP∣=∣MN∣|MP| = |MN|. Hãy để chúng tôi biểu thị tọa độ của điểm PP.

Vì M∈mM \in m, tọa độ của điểm MM là k,yk, y và zz. Xét rằng MP⃗⋅m⃗=0\vec{MP} \cdot \vec{m} = 0, MP⃗=(x−α,y−kα,z−c)\vec{MP} = (x - \alpha, y - k\alpha, z - c), m={1,k,0}m = \{1, k, 0\}, ta thu được x−α+yk−k2α=0x - \alpha + yk - k^2\alpha = 0, suy ra rằng α=x+ky1+k2\alpha = \frac{x + ky}{1 + k^2}, tức là các điểm MM có tọa độ

x+ky1+k2,x+ky1+k2,c.\frac{x + ky}{1 + k^2}, \frac{x + ky}{1 + k^2}, c.

Lập luận tương tự ta tìm được tọa độ của điểm NN:

x−ky1+k2,−kx−ky1+k2,−c.\frac{x - ky}{1 + k^2}, -k \frac{x - ky}{1 + k^2}, -c.

Viết đẳng thức ∣MP∣=∣NP∣|MP| = |NP| sau khi rút gọn, ta thu được biểu thức

xy=2pz,xy = 2pz,

ở đâu p=−1+k22kp = -\frac{1 + k^2}{2k}.

Do đó, tập hợp các điểm mm và nn là các bề mặt có điều khiển có dạng (1). (Điều khiển (1) lần đầu tiên được L. Euler thu được vào năm 1748.)