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 →
16
số phức
Viện sĩ L. S. PONTRYAGIN
Ở đây trước hết tôi nói rất ngắn gọn về cách các số phức nảy sinh trong toán học và dần dần hình thành trong đó. Sau đó tôi đưa ra định nghĩa về số phức, các phép tính trên chúng và giải thích hình học của chúng. Đồng thời, các công thức tính cosin và sin của một tổng đã được chứng minh, chúng có liên quan chặt chẽ đến phép nhân số phức.
Bối cảnh lịch sử
Từ quá trình toán học, người ta biết rằng các số âm được đưa vào chủ yếu để phép trừ, nghịch đảo của phép cộng, luôn có thể thực hiện được. Vì lý do tương tự, số phức xuất hiện trong toán học. Nếu chúng ta chỉ xem xét các số thực, thì thao tác trích căn bậc hai, nghịch đảo của phép tính bình phương, không phải lúc nào cũng thực hiện được, vì không thể trích căn bậc hai của một số âm. Tuy nhiên, điều này không đủ để giới thiệu những con số mới trong toán học. Hóa ra là nếu tích của một phép tính theo các quy tắc thông thường đối với các biểu thức trong đó xảy ra căn bậc hai của một số âm, thì người ta có thể đi đến kết quả không còn chứa căn bậc hai nữa.
Định nghĩa số phức
Chúng ta sẽ giả định rằng chúng ta biết các con số thực. Chúng ta biết rằng có hai phép toán cơ bản được xác định cho chúng - phép cộng và phép nhân - và có những hành động nghịch đảo đối với chúng - phép trừ và phép chia. Đối với những hành động này, một số quy tắc được trích xuất sẽ được thực thi, thường được sử dụng hoàn toàn tự động - vì vậy tôi sẽ không xây dựng chúng ở đây. Tập hợp các đối tượng mà các phép tính cộng, nhân và các hành động nghịch đảo của phép trừ và phép chia được xác định và các quy tắc đối tượng áp dụng cho số thực được thực hiện, được gọi là một trường trong đại số trừu tượng hiện đại.
Do đó, theo quan điểm của đại số trừu tượng hiện đại, tập R của tất cả các số thực biểu diễn một trường. Bây giờ chúng ta hãy đặt bài toán để mở rộng khái niệm về số hoặc, như
17
chẳng hạn trong đại số trừu tượng, hãy mở rộng trường sang trường sao cho trong trường mới này phương trình
(1)
đã có lời giải. Chúng ta biểu thị phần tử trường thỏa mãn phương trình (1) bằng . Vì vậy, với chúng ta có
(2)
Vì trường chứa tất cả các số thực và phần tử và vì có thể thực hiện các phép tính cộng và nhân trong đó nên trường phải chứa tất cả các đa thức có thể có đối với với các hệ số thực, đặc biệt - tất cả các đa thức bậc một, tức là các biểu thức có dạng
trong đó và là số thực. Những biểu thức này được gọi là số phức. Chúng ta định nghĩa các hành động trên chúng là các hành động trên đa thức, có tính đến các điều kiện (2). Số phức có dạng
là những số thực. Số phức có dạng
Các số được gọi là số tối thiểu.
Cho , là hai số phức. Theo quy tắc đã nêu, tổng và tích của các số phức này được xác định bằng các đẳng thức
(3)
(4)
Khi đạt được đẳng thức cuối cùng, chúng ta sử dụng kết quả
(5)
Từ công thức (3) và (4) rõ ràng tổng và tích của hai số phức cũng là số phức.
Để đảm bảo rằng hành động trừ, nghịch đảo của hành động cộng, tồn tại, chỉ cần tìm số , số đối diện với số , và để đảm bảo rằng phép chia có thể thực hiện được, chỉ cần chỉ ra số , nghịch đảo của số là đủ. Những con số này, dễ dàng nhận thấy, được đưa ra bởi các công thức
Do đó, đại lượng , nghịch đảo của , tồn tại bất cứ khi nào .
Biểu diễn hình học của số phức
Chúng ta hãy biểu thị mặt phẳng của bản vẽ của chúng ta bằng và chọn hệ tọa độ hình chữ nhật trên đó (Hình 1). Chúng ta sẽ đặt số phức tại điểm có tọa độ . Chúng ta cũng biểu thị bằng vectơ từ gốc đến điểm . Do đó, chữ cái đồng thời biểu thị một số phức, điểm , đại diện cho số phức này và vectơ , tương ứng với số phức này. Trong trường hợp này, ảnh của số thực nằm trên trục hoành - do đó trục hoành được gọi là trục thực của mặt phẳng của biến phức và số của số rơi trên trục hoành - do đó trục hoành được gọi là trục tối thiểu của mặt phẳng của biến phức. Số 0 rơi ở gốc tọa độ.
Hình 1.
18
Độ dài của vectơ được gọi là mô đun của số phức và được ký hiệu là :
Các số phức thỏa mãn điều kiện tạo thành một đường tròn bán kính 1 có tâm tại gốc tọa độ. Số 1 nằm trên vòng tròn này. Từ điểm 1, chúng ta cắt các cung có độ dài cho trước dọc theo đường tròn theo hướng ngược chiều kim đồng hồ. Chúng tôi biểu thị sự kết thúc của cung này bằng . Nếu là số âm thì để thu được bạn cần trừ độ dài cung từ điểm 1 theo chiều kim đồng hồ. Như đã biết, trục hoành của điểm được gọi là cos , và tọa độ của nó là sin . Do đó, số phức được cho bởi
Vì vậy, mọi số phức , bằng 1 theo mẫu, đều được viết dưới dạng (6). Nếu là một số phức tùy ý có mô hình khác 0, thì số là một số phức, theo mô hình, bằng 1 và do đó được viết dưới dạng (6). Từ sự bình đẳng
chúng tôi nhận được
Ghi (7) được gọi là công thức lượng giác của số phức. Số được gọi là đối số của số phức. Nếu mô hình của số phức khác 0 thì đối số được xác định theo thuật ngữ , trong đó là một số nguyên. Nếu mô hình của một số phức bằng 0 thì công thức (7) cũng đúng, nhưng trong trường hợp này, đối số của số phức hoàn toàn không được xác định.
Các số và được gọi là tọa độ cực của điểm .
Bây giờ chúng ta hãy đưa ra một nguồn tác dụng hình học đối với số phức.
Từ công thức (3) và (5) suy ra rằng số phức được cộng và nhân với số thực, giống như vectơ.
Ý nghĩa hình học của việc cộng số phức rất rõ ràng: vectơ là đường chéo của hình bình hành được xây dựng trên các vectơ và . Điều này dẫn đến một bất đẳng thức quan trọng:
Để đưa ra phép nhân nguồn hình học của các số phức, bạn cần sử dụng thao tác quay một vectơ hoặc tương tự như một số phức. Xoay vectơ ngược chiều kim đồng hồ theo góc , chúng ta nhận được một số vectơ mới, được biểu thị bằng . Rõ ràng về mặt hình học là phép quay có tính chất sau: nếu là một số thực thì
Từ hai công thức này suy ra rằng nếu và là hai số thực thì có sự tương ứng
Cũng rõ ràng ngay rằng
Bây giờ chúng ta hãy chứng minh rằng việc xoay số phức theo góc tương đương với việc nhân nó với số phức , nghĩa là
Để làm điều này, trước tiên chúng ta xem xét riêng phép quay qua góc . Trong trường hợp này, và đẳng thức (11) có dạng . Một mặt, có các ước tính hình học là , . Mặt khác, , . Như vậy,
Nó suy ra trực tiếp từ công thức (9)