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 →

17

vòng tròn toán học

N. Vaguten

công thức diện tích

Trong bài viết này, chúng ta sẽ thảo luận về một công thức hữu ích biểu thị diện tích của một đa giác theo tọa độ các đỉnh của nó. Khi chuẩn bị bài viết, A. Startsev đã được sử dụng, thêm vào «Kvant» vào năm 1970 (khi tác giả vẫn còn là một cậu học sinh).

sự kết hợp nho

Chúng ta hãy cho một đa giác nằm trong hình vuông dương x>0,y>0x > 0, y > 0 và cũng lồi. Phần bên trong của các đỉnh ngược chiều kim đồng hồ là: A1(x1;y1),A2(x2;y2)A_1(x_1; y_1), A_2(x_2; y_2), …, như trong Hình 1, trong đó số đỉnh là n=5n = 5. Chúng ta thả các đường vuông góc A1H1,A2H2A_1H_1, A_2H_2, …, AnHnA_nH_n từ tất cả các đỉnh đến trục xx; độ dài của chúng là y1,y2,...,yny_1, y_2, ..., y_n.

Diện tích của quả nho AkHkHk+1Ak+1A_kH_kH_{k+1}A_{k+1} bằng modulo của sản phẩm (yk+yk+1)(xk−xk+1)/2(y_k+y_{k+1})(x_k-x_{k+1})/2. Tích này dương cho xk>xk+1x_k > x_{k+1} và âm cho xk<xk+1x_k < x_{k+1} (ở đây kk là một trong các số 1, 2, …, nn và số n+1n+1 theo sau nn phải được thay thế bằng 1). Đáng chú ý, hóa ra tổng của tất cả nn các tích cùng loại như vậy hoàn toàn bằng diện tích của đa giác A1A2...AnA_1A_2...A_n.

Ví dụ, đối với hình ngũ giác trong Hình 1 tính từ gót chân sản phẩm

(y1+y2)(x1−x2)2,(y2+y3)(x2−x3)2,(y3+y4)(x3−x4)2,(y4+y5)(x4−x5)2,(y5+y1)(x5−x1)2\frac{(y_1+y_2)(x_1-x_2)}{2}, \frac{(y_2+y_3)(x_2-x_3)}{2}, \frac{(y_3+y_4)(x_3-x_4)}{2}, \frac{(y_4+y_5)(x_4-x_5)}{2}, \frac{(y_5+y_1)(x_5-x_1)}{2}

tri, tương ứng với các cạnh trên (màu xanh), là dương và hai, tương ứng với các cạnh dưới (màu đỏ), là âm; Bằng cách trừ tổng diện tích của các hình thang màu đỏ khỏi tổng diện tích của các hình thang màu xanh, chúng ta tìm được diện tích của hình ngũ giác.

Tổng kết quả có thể được đơn giản hóa phần nào bằng cách giảm tích x1y1,x2y2x_1y_1, x_2y_2, ..:

S=(y1+y2)(x1−x2)2+(y2+y3)(x2−x3)2+(y3−y4)(x3−x4)2+(y4+y5)(x4−x5)2+(y5+y1)(x5−x1)2=(x1y2−x2y1)+(x2y3−x3y2)+...+(x5y1−x1y5)2.S = \frac{(y_1+y_2)(x_1-x_2)}{2} + \frac{(y_2+y_3)(x_2-x_3)}{2} + \frac{(y_3-y_4)(x_3-x_4)}{2} + \frac{(y_4+y_5)(x_4-x_5)}{2} + \frac{(y_5+y_1)(x_5-x_1)}{2} = \frac{(x_1y_2-x_2y_1) + (x_2y_3-x_3y_2) + ... + (x_5y_1-x_1y_5)}{2}.

  1. Suy ra công thức tính diện tích hình lồi nn-giác cho mọi nn.

Công thức cơ bản

Vậy diện tích SS của hình lồi nn-giác có các đỉnh Ak(xk;yk)A_k(x_k; y_k), k=1,2,...,nk = 1, 2, ..., n bằng

12[(x1y2−x2y1)+(x2y3−x3y2)+...+(xny1−x1yn)].\frac{1}{2} \left[ (x_1y_2-x_2y_1) + (x_2y_3-x_3y_2) + ... + (x_ny_1-x_1y_n) \right].

Biểu thức ad−bcad-bc phổ biến trong toán học đến mức một ký hiệu đặc biệt ∣a∣2b∣2|a|^2 b|^2 và tên “định thức” đã được sử dụng cho nó.

Hình 1.

18

Hình 2. Tích của các số nối với nó bằng một đoạn được lấy bằng dấu + và màu đỏ - bằng dấu -.

bậc hai"; Sử dụng các định thức như vậy, công thức diện tích có thể được viết gọn hơn:

S=∣x1x2∣+∣x2x3∣+…+∣xnx1∣2.S = \frac{\left| x_1 x_2 \right| + \left| x_2 x_3 \right| + \ldots + \left| x_n x_1 \right|}{2}.

(Để điền công thức (1), Hình 2 là thuận tiện. Lưu ý rằng công thức (1) giả định rằng các đỉnh được đánh số ngược chiều kim đồng hồ.)

  1. Kiểm tra xem nếu bạn đánh số các đỉnh theo thứ tự ngược lại theo chiều kim đồng hồ thì mỗi dấu ngoặc đơn tương ứng với một cạnh cụ thể của đa giác: A1A2A_1 A_2, A2A3A_2 A_3, …, AnA1A_n A_1, đổi dấu. Hiệu ứng tương tự sẽ xảy ra nếu bạn đặt các ký hiệu trục tùy chỉnh vào các vị trí - thay đổi hướng của mặt phẳng.

Để không phải lo lắng về hướng này hay hướng khác trong việc đánh số các đỉnh, bạn có thể đặt dấu mô đun cùng với dấu ngoặc vuông trong công thức (1). Công thức kết quả

S=12∣∑k=1n(xkyk+1−xk+1yk)∣S = \frac{1}{2} \left| \sum_{k=1}^{n} \left(x_k y_{k+1} - x_{k+1} y_k\right) \right|

thích hợp cho bất kỳ dịp nào. (Hãy nhớ lại rằng yn+1y_{n+1} và xn+1x_{n+1} nên được thay thế bằng y1y_1 và x1x_1.)

Lưu ý rằng cho đến nay chúng ta đã coi tất cả tọa độ của các đỉnh của đa giác là dương và bản thân đa giác đó là lồi. Sẽ rất đáng thất vọng và ngạc nhiên nếu công thức của chúng ta hóa ra chỉ đúng với một giả định bổ sung như vậy. May mắn thay, điều này không xảy ra: công thức này đúng cho mọi đa giác trên mặt phẳng. Chúng ta sẽ thảo luận cách chứng minh điều đó cho đa giác không lồi bên dưới, trong Bài tập 13 (xem thêm ghi chú của S. Sefibkov ở trang 20). Bây giờ chúng ta sẽ loại bỏ giả định rằng đa giác nằm bên trong góc x>0x > 0, y>0y > 0.

  1. Kiểm tra xem vế phải của công thức (2) không thay đổi nếu:

a) thay thế mỗi xkx_k bằng xk+ax_k + a;
b) thay thế mỗi yky_k bằng yk+by_k + b.

Chúng ta có thể chuyển song song bất kỳ đa giác A1A2…AnA_1 A_2 \ldots A_n nào sang một số vectơ (a;b)(a; b) vào góc x>0x > 0, y>0y > 0. Trong trường hợp này, tọa độ các đỉnh của nó thay đổi, nhưng diện tích của nó - phần bên trái của công thức (2) cũng như phần bên phải của công thức này - đều không thay đổi. Vì đẳng thức (2) đúng khi thu được đa giác có tọa độ đỉnh dương nên nó cũng đúng với đa giác ban đầu A1A2…AnA_1 A_2 \ldots A_n.

  1. Sử dụng công thức (2), tính diện tích các hình tứ giác có đỉnh:
    a) (0;0),(0;1),(1;0),(1;1)(0; 0), (0; 1), (1; 0), (1; 1);
    b) (0;0),(−1;1),(2;3),(1;2)(0; 0), (-1; 1), (2; 3), (1; 2);
    b) (0;5),(3;0),(0;−4),(2;0)(0; 5), (3; 0), (0; -4), (2; 0). Kiểm tra đáp số bằng cách tìm khu vực này theo cách khác.

  2. a) Viết công thức tính diện tích tam giác có đỉnh (0;0),(a;b),(c;d)(0; 0), (a; b), (c; d).
    b) Trong điều kiện nào thì ba điểm (x1;y1),(x2;y2)(x_1; y_1), (x_2; y_2) và (x3;y3)(x_3; y_3) cùng nằm trên một đường thẳng?

Kết hợp tam giác
Công thức chính (2) có thể được rút ra theo cách khác - sao cho ý nghĩa hình học của mỗi thuật ngữ (xkyk+1−xk+1yk)/2(x_k y_{k+1} - x_{k+1} y_k)/2 sẽ rõ ràng (lưu ý rằng nó chỉ bao gồm tọa độ của hai điểm lân cận AkA_k và Ak+1A_{k+1}). Chúng ta vẫn có thể giả định rằng xk>0x_k > 0, yk>0y_k > 0.

Hóa ra biểu thức (xkyk+1−xk+1yk)/2(x_k y_{k+1} - x_{k+1} y_k)/2 bằng OAkAk+1OA_k A_{k+1} theo mô hình tam giác và là dương nếu đoạn OAk+1OA_k+1 tạo một góc lớn hơn với trục xx so với OAkOA_k và âm nếu nhỏ hơn.

  1. Đặt B(x1;y1)B(x_1; y_1) và C(x2;y2)C(x_2; y_2) là hai điểm có tọa độ dương và y1/x1<y2/x2y_1/x_1 < y_2/x_2. Khi đó diện tích hình bình hành OBDCOBDC (Hình 3) bằng x1y2−x2y1x_1 y_2 - x_2 y_1.

Bây giờ rõ ràng là tổng của các số hạng nn (xkyk+1−xk+1yk)/2(x_k y_{k+1} - x_{k+1} y_k)/2 sẽ cho diện tích cần thiết của nn-gon (xem Hình 4): từ tổng diện tích của các hình tam giác màu đen, chúng ta trừ tổng diện tích của các hình tam giác màu đỏ - chúng ta đã gặp phải sự trùng hợp thành công này của các dấu hiệu trong cuộc thảo luận về hình thang).

  1. Kiểm tra xem ý nghĩa hình học của biểu thức x1y2−x2y1x_1 y_2 - x_2 y_1 đối với các điểm B(x1;y1)B(x_1; y_1), C(x2;y2)C(x_2; y_2) với tọa độ của bất kỳ dấu hiệu nào là

19

Hình 3.

diện tích định hướng của hình bình hànhOBDC, được xây dựng trên các vectơ OB⃗\vec{OB} và OC⃗\vec{OC}*): diện tích của OBDC được lấy bằng dấu “cộng” nếu hướng OC⃗\vec{OC} được lấy từ hướng OB⃗\vec{OB} bằng cách quay ngược chiều kim đồng hồ (ở một góc không quá 180°) và “trừ” nếu theo chiều kim đồng hồ.

Bổ sung bài toán và nhận xét
Để kết luận, chúng tôi đề xuất chứng minh thêm một số phát biểu liên quan đến công thức tính diện tích đa giác, các chứng minh và khái quát hóa của nó.

  1. Đối với hai vectơ b⃗=OB⃗\vec{b} = \vec{OB}, c⃗=OC⃗\vec{c} = \vec{OC} trên mặt phẳng, chúng ta sẽ biểu thị diện tích định hướng của hình bình hànhOBDC (Bài tập 7) bằng b⃗∧c⃗\vec{b} \wedge \vec{c}.

Sau đó, với mọi vectơ a⃗,b⃗,c⃗\vec{a}, \vec{b}, \vec{c} và bất kỳ số λ\lambda nào, các đẳng thức sau giữ nguyên:
10.a⃗∧b⃗=−(b⃗∧a⃗).1^0. \vec{a} \wedge \vec{b} = -(\vec{b} \wedge \vec{a}).
20.λa⃗∧b⃗=a⃗∧(λb⃗)=λ(a⃗∧b⃗).2^0. \lambda \vec{a} \wedge \vec{b} = \vec{a} \wedge (\lambda \vec{b}) = \lambda (\vec{a} \wedge \vec{b}).
30.a⃗∧b⃗=03^0. \vec{a} \wedge \vec{b} = 0 nếu và chỉ khi các vectơ a⃗\vec{a} và b⃗\vec{b} thẳng hàng.
40.a⃗∧(b⃗+c⃗)=a⃗∧b⃗+a⃗∧c⃗.4^0. \vec{a} \wedge (\vec{b} + \vec{c}) = \vec{a} \wedge \vec{b} + \vec{a} \wedge \vec{c}.

Đại lượng a⃗∧b⃗\vec{a} \wedge \vec{b} đôi khi được gọi là tích tự do của các vectơ a⃗\vec{a} và b⃗\vec{b}.

  1. Tìm tọa độ các điểm A,BA, B giao điểm của đường thẳng ax+by+c=0ax + by + c = 0 với các trục tọa độ (a≠0,b≠0a \neq 0, b \neq 0) và diện tích tam giác ABM0ABM_0, trong đó M0(x0;y0)M_0(x_0; y_0), rút ​​ra công thức tính khoảng cách từ điểm M0M_0 đến đường thẳng này:

∣ax0+by0+c∣/a2+b2.|ax_0 + by_0 + c| / \sqrt{a^2 + b^2}.

  1. a) Cho các đỉnh A1,A2,…,AnA_1, A_2, \dots, A_n của đa giác chuyển động dọc theo một mặt phẳng thẳng và đều (mỗi đỉnh có tốc độ không đổi). Chứng minh diện tích đa giác A1A2…AnA_1A_2\dots A_n thay đổi

∑xixjxkyiyjykzizjzk=x1y2z3−x1y3z2+x2y3z1−x2y1z3+x3y1z2−x3y2z1.\sum \begin{matrix} x_i x_j x_k \\ y_i y_j y_k \\ z_i z_j z_k \end{matrix} = x_1 y_2 z_3 - x_1 y_3 z_2 + x_2 y_3 z_1 - x_2 y_1 z_3 + x_3 y_1 z_2 - x_3 y_2 z_1.

trên tất cả gam ΔAiAjAk\Delta A_i A_j A_k của nó, trong đó Ai(xi;yi;zi)A_i(x_i; y_i; z_i) là đỉnh của đa giác và “định thức tam giác” được tính theo công thức

x1x2x3y1y2y3z1z2z3=x1y2z3−x1y3z2+x2y3z1−x2y1z3+x3y1z2−x3y2z1.\begin{matrix} x_1 x_2 x_3 \\ y_1 y_2 y_3 \\ z_1 z_2 z_3 \end{matrix} = x_1 y_2 z_3 - x_1 y_3 z_2 + x_2 y_3 z_1 - x_2 y_1 z_3 + x_3 y_1 z_2 - x_3 y_2 z_1.

Hơn nữa, mỗi định thức phải được viết ra bằng cách nhìn mặt AiAjAkA_i A_j A_k từ điểm (0;0;0)(0; 0; 0): tọa độ các đỉnh của các mặt nhìn thấy được là theo chiều kim đồng hồ, các mặt không nhìn thấy được là ngược chiều kim đồng hồ.

  1. a) Kiểm tra bằng công thức (2) rằng với tiếng ầm ầm kk thì diện tích tăng k2k^2 lần và với sự đối xứng (x;y)→(−x;y),(x;y)→(x;−y),(x;y)→(−x;−y)(x; y) \rightarrow (-x; y), (x; y) \rightarrow (x; -y), (x; y) \rightarrow (-x; -y) thì diện tích không thay đổi.

*) Xem thêm bài viết của A. Lopshitz “Các vùng của hình định hướng” («Kvant», 1978, số 3).

2*