Kvant
Bài chính

Descartes vẽ tiếp tuyến như thế nào

Бендукидзе А. Д.

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 →

5

Descartes vẽ tiếp tuyến như thế nào

Ứng viên Khoa học Vật lý và Toán học
A. D. VENDUKIDZE

Bài toán về cách vẽ tiếp tuyến là một trong những hình học bài toán quan trọng nhất. Vấn đề này đã được người Hy Lạp cổ đại giải quyết, họ đã giải quyết thành công trong một số trường hợp. Đặc biệt, họ biết cách xây dựng các tiếp tuyến của một hình tròn, hình elip, hyperbol, parabol… Nhưng họ không có một phương pháp chung và trong mỗi trường hợp riêng lẻ, họ phải hành động tương ứng - áp dụng một hoặc một tính chất khác của tiếp tuyến được vẽ (ví dụ, trong trường hợp đường tròn, họ dựa vào một thực tế nổi tiếng là tiếp tuyến vuông góc với bán kính vẽ đến điểm tiếp tuyến).

Năm 1637, một trong những cuốn sách nổi tiếng nhất trong lịch sử khoa học đã được xuất bản - “Hình học” của Descartes. Trong đó, tác giả cùng với các kết quả nghiên cứu quan trọng khác của mình còn trình bày một phương pháp mở rộng để vẽ tiếp tuyến - gọi là phương pháp chuẩn tắc. (Các nhà sử học đã chứng minh rằng Descartes đã sở hữu nó ngay từ năm 1629.) Mục đích của bài viết này là giới thiệu với người đọc về phương pháp này.

Hãy bắt đầu với khái niệm bình thường. Đường pháp tuyến tại một điểm cho trước là đường thẳng đi qua điểm này vuông góc với tiếp tuyến. Đặc biệt (và điều này rất quan trọng đối với phương pháp Descartes), nếu đường thẳng đã cho là một đường tròn thì pháp tuyến là một đường thẳng chạy dọc theo bán kính có điểm cuối tiếp tuyến. Rõ ràng là nếu cho trước một pháp tuyến, chúng ta có thể dễ dàng dựng một tiếp tuyến. Đây chính xác là những gì Descartes đã làm: đầu tiên ông xây dựng đường chuẩn và chỉ sau đó là tiếp tuyến (do đó có tên là phương pháp của ông). Để xây dựng pháp tuyến, Descartes sử dụng phương pháp tọa độ do chính ông phát triển, phương pháp này cho ông cơ hội giải phương trình hình học bài toán bằng đại số. (Nhân tiện, điều này một lần nữa nhấn mạnh tính thống nhất của toán học.)

Để xây dựng pháp tuyến tại điểm P(x0;y0)P(x_0; y_0) với đường cong đại số LL cho bởi phương trình F(x,y)=0F(x, y)=0 (Descartes quan tâm đến việc xây dựng pháp tuyến hơn là rút ra phương trình của nó), cần tìm điểm giao nhau C(c;0)C(c; 0) của pháp tuyến với trục hoành. Nếu CPCP là pháp tuyến thì đường tròn có tâm tại điểm CC và bán kính CPCP chạm vào đường cong đã cho LL tại điểm PP (hình 1); nếu tâm của đường tròn ít nhất bị dịch chuyển một chút từ CC sang một điểm khác trên trục x C′C', thì đường tròn có bán kính C′PC'P sẽ gặp đường cong đã cho LL trong vùng lân cận của điểm PP ít nhất ở một điểm nữa. Do đó, đường tròn mong muốn, với một đường cong cho trước LL, phải có hai hoặc nhiều điểm chung được hợp nhất thành một. Tọa độ của các điểm giao nhau của đường cong F(x,y)=0F(x, y)=0 và đường tròn (x−c)2+y2=(x0−c)2+y02(x-c)^2+y^2=(x_0-c)^2+y_0^2 được tìm thấy bằng cách cùng nhau giải phương trình của chúng, trong đó một trong các tọa độ bị loại bỏ. Nếu các điểm giao nhau tại PP trùng nhau, thì nghiệm x=x0x=x_0 (hoặc y=y0y=y_0) của phương trình thu được ít nhất phải gấp đôi và điều này đặt ra một điều kiện nhất định đối với số lượng mong muốn cc.

Tất nhiên, đối với độc giả hiện đại, phương pháp của Descartes có vẻ giả tạo và không hiệu quả. Trước hết, phương trình tiếp tuyến của đường cong phân tích đã cho F(x,y)=0F(x, y)=0 được viết tự động hoành độ bằng cách sử dụng các phương trình tùy ý (tuy nhiên, điều mong muốn là có thể lấy đạo hàm một hàm đã cho không bên trái). Nhưng ngay cả khi bạn không biết các công thức tùy ý (và Descartes cũng không biết chúng), sẽ thuận tiện hơn khi dựng đường tiếp tuyến, bỏ qua các cách dựng trung gian: thay vì sử dụng phương pháp mô tả ở trên để dựng đường tròn tiếp xúc với một đường cong cho trước, bạn có thể (và thậm chí còn dễ dàng hơn) dựng ngay một đường thẳng tiếp xúc với một đường cong cho trước. Đối với chúng tôi, phương pháp của Descartes chủ yếu mang tính lịch sử; thứ hai, nó rất thú vị đối với chúng tôi (cũng như đối với Descartes) vì nó cho phép chúng tôi thu được phương pháp tọa độ.

Descartes giải thích phương pháp của ông bằng các ví dụ, trong đó có ví dụ về hình elip. Hãy xem xét ví dụ này.

6

Hình 2.

Hãy nhớ lại rằng hình elip là một đường thẳng thu được bằng cách nén một vòng tròn theo đường kính của nó. Cụ thể, nếu hình tròn x2+y2=a2x^2+y^2=a^2 được lăn về phía trục x thì kết quả là hình elip

x2a2+y2b2=1.(1)\frac{x^2}{a^2} + \frac{y^2}{b^2} = 1. \quad (1)

Ở đây b=tab=ta, trong đó tt là hệ số sẹo lồi (hình 2).

Vì vậy, cho một hình elip (1), điểm P=(x0;y0)P=(x_0; y_0) nằm trên đó và chúng ta cần kiểm tra tiếp tuyến của hình elip tại điểm này.

Vẽ đường tròn có tâm tại điểm C=(c;0)C=(c; 0) và đi qua điểm PP. phương trình của nó là

(x−c)2+y2=(x0−c)2+y02(x-c)^2+y^2=(x_0-c)^2+y_0^2

(ở đây cc là một tham số chưa được biết), hoặc

x2+y2−2cx−x02−y02+2cx0=0.(2)x^2+y^2-2cx-x_0^2-y_0^2+2cx_0=0. \quad (2)

Nên chọn tham số cc sao cho hình tròn (2) có hai điểm giao nhau được hợp nhất (hình 3) ​​​​với hình elip (1) tại PP. Để làm được điều này điều cần và đủ là hệ phương trình

{b2x2+a2y2−a2b2=0,x2+y2−2cx−x02−y02+2cx0=0\left\{ \begin{array}{l} b^2x^2+a^2y^2-a^2b^2=0, \\ x^2+y^2-2cx-x_0^2-y_0^2+2cx_0=0 \end{array} \right.

đã có lời giải (x0;y0)(x_0; y_0) và (x0;−y0)(x_0; -y_0). (Ở đây chúng ta tính đến tính đối xứng qua trục x - xem hình 3.)

Loại bỏ y2y^2, chúng ta thu được phương trình bậc hai đối với xx

(a2−b2)x2−2a2cx−a2(x02+y02−2cx0−b2)=0.(a^2-b^2)x^2-2a^2cx-a^2(x_0^2+y_0^2-2cx_0-b^2)=0.

Vì nó phải có một nghiệm duy nhất nên biệt thức của nó phải bằng 0, tức là

a4c2+a2(a2−b2)(x02+y02−2cx0−b2)=0.a^4c^2+a^2(a^2-b^2)(x_0^2+y_0^2-2cx_0-b^2)=0.

Vì P=(x0;y0)P=(x_0; y_0) là một điểm của hình elip, nghĩa là

b2x02+a2y02=a2b2,b^2x_0^2+a^2y_0^2=a^2b^2,

sau khi biến đổi đơn giản chúng ta đi đến phương trình

(a2c−(a2−b2)x0)2=0,(a^2c-(a^2-b^2)x_0)^2=0,

từ đâu c=(a2−b2)x0a2c=\frac{(a^2-b^2)x_0}{a^2}; tìm tâm của vòng tròn mong muốn.

Bán kính CPCP của hình tròn tìm thấy nằm trên pháp tuyến của hình elip đã cho và duy trì đến PP, vẽ một chu kỳ đến CPCP. Đây sẽ là tiếp tuyến mong muốn. Hãy tìm phương trình của nó.

Giả sử 0<x0<a0<x_0<a và PTPT là các đoạn tiếp tuyến. Sau đó từ tam giác vuông CPTCPT (hình 4)

PQ2=CQ⋅QT,PQ^2=CQ \cdot QT,

và kể từ đó

PQ=y0,PQ=y_0,

CQ=OQ−OC=x0−(a2−b2)x0a2=b2x0a2,CQ=OQ-OC=x_0-\frac{(a^2-b^2)x_0}{a^2}=\frac{b^2x_0}{a^2},

chúng tôi nhận được QT=a2y02b2x02QT=\frac{a^2y_0^2}{b^2x_0^2}, vì vậy

OT=OQ+QT=x0+a2y02b2x02=a2x0OT=OQ+QT=x_0+\frac{a^2y_0^2}{b^2x_0^2}=\frac{a^2}{x_0}

(chúng ta lại đang nói về b2x02+a2y02=a2b2b^2x_0^2+a^2y_0^2=a^2b^2).

Như vậy, chúng ta đã tìm được điểm TT giao điểm của tiếp tuyến mong muốn với trục hoành: T=(a2/x0;0)T=(a^2/x_0; 0). (Kết quả cũng đúng trong trường hợp −a<x0<0-a<x_0<0, hãy kiểm tra điều này!)

Biết hai điểm tiếp tuyến PP và TT viết được phương trình của nó dễ dàng

y−y0=k(x−x0),y-y_0=k(x-x_0),

nơi tìm thấy độ dốc kk từ điều kiện

k=y0−0x0−a2x0=x0y0x02−a2=−b2x0a2y0k=\frac{y_0-0}{x_0-\frac{a^2}{x_0}}=\frac{x_0y_0}{x_0^2-a^2}=-\frac{b^2x_0}{a^2y_0}

(một lần nữa chúng ta đã lợi dụng thực tế rằng (x0;y0)(x_0; y_0) là một điểm của hình elip, vì vậy x02−a2=−a2y02b2x_0^2-a^2=-\frac{a^2y_0^2}{b^2}).

Do đó, phương trình tiếp tuyến mong muốn có dạng

y−y0=−b2x0a2y0(x−x0).y-y_0=-\frac{b^2x_0}{a^2y_0}(x-x_0).