Tọa độ tỉ cự

Trong hình học, hệ tọa độ Barycentric (Còn gọi là Hệ tọa độ tỉ cự) là một hệ tọa độ trong đó vị trí của một điểm trong một đa diện, được xác định là một trọng tâm hay tâm tỉ cự. Tọa độ cũng được mở rộng bên ngoài đa diện, nơi có một hoặc nhiều tọa độ có giá trị âm. Khái niệm này được giới thiệu bởi August Ferdinand Mobius (1827).
Định nghĩa
Cho x_1,...,x_n là một hệ điểm trên một đa diện của không gian afin A (affine space). Nếu một điểm p thuộc A,
:\text{p}\sum_{i=1}^na_i = \sum_{i=1}^na_ix_i hay (a_1+a_2+\cdots+a_n)\text{p}=a_1x_1+a_2x_2+\cdots+a_nx_n
và có ít nhất một trong a_1,\dots,a_n không bị triệt tiêu nên ta nói rằng dãy các hệ số \left(a_1,a_2,\dots,a_n\right) là một tọa độ Barycentric của p có mối quan hệ với dãy x_1,\ldots,x_n. Bản thân các đỉnh của chúng có tọa độ x_1=(1,0,0,...,0), x_2=(0,1,0,...,0), x_n=(0,0,...,1). Các tọa barycentric không phải là duy nhất: với mọi b khác 0, ba_1,...ba_n cũng là tọa độ barycentric của p. Nếu tọa độ không âm, p nằm trong bao lồi của x_1,...,x_n, vậy trong một đa diện, điểm của nó được xem như là một đỉnh.

Theo định nghĩa, tọa độ barycentric được biểu diễn dưới dạng tọa độ đồng nhất. Đôi khi giá trị của tọa độ bị hạn chế bởi một điều kiện
:\sum a_i=1
làm cho các tọa độ đó là duy nhất, cho nên chúng là tọa độ afin (affine coordinates).
Tọa độ barycentric trên một tam giác

Trong tam giác, tọa độ barycentric có thể được nói với tên gọi khác là tọa độ của một bề mặt, vì tọa độ của P liên hệ đến các tam giác PBC, PCA và PAB trong tam giác lớn nhất ABC. Tọa độ barycentric là một công cụ rất quan trọng trong các ứng dụng kỹ thuật liên quan đến tam giác bao gồm miền con của tam giác. Nó cho thấy việc phân tích và tính toán một bài toán trở nên dễ dàng và các bảng tứ phương Gauss được trình bày trong đó có các tọa độ barycentric. Xét một tam giác T cấu thành bởi 3 đỉnh r1, r2 và r3. Với mỗi điểm đó ta có thể viết một tổ hợp lồi của 3 điểm. Nói cách khác, với mỗi điểm r ta có thứ tự duy nhất các số \lambda_1,\lambda_2,\lambda_3\ge 0 vậy nên \lambda_1+\lambda_2+\lambda_3=1 và
:r=\lambda_1r_1+\lambda_2r_2+\lambda_3r_3.
3 số \lambda_1,\lambda_2,\lambda_3 chỉ ra rằng tọa độ của điểm r liên hệ với tam giác. Nó có thể được ký hiệu dưới dạng \alpha,\beta,\gamma. Chú ý rằng mặc dù nó có 3 tọa độ nhưng nó chỉ có 2 "mức độ tự do", vì \lambda_1+\lambda_2+\lambda_3=1.
Chuyển đổi giữa tọa độ barycentric và tọa độ Cartesian
Với mỗi điểm r trong một tam giác có thể tìm được tọa độ barycentric \lambda_1,\lambda_2,\lambda_3 từ tọa độ Cartesian (x,y) và ngược lại.

Ta có thể viết tọa độ Cartesian của điểm r bằng các thành phần Cartesian của một hệ điểm tam giác r_1,r_2,r_3 với r_i=(x_i,y_i), về tọa độ r thì ta có
:x=\lambda_1x_1+\lambda_2x_2+\lambda_3x_3
:y=\lambda_1y_1+\lambda_2y_2+\lambda_3x_3.
Để đổi ngược lại, từ tọa độ Cartesian vào tọa độ barycentric, đầu tiên thế \lambda_3=1-\lambda_1-\lambda_2 vào hai biểu thức trên để ta có được
:x=\lambda_1x_1+\lambda_2x_2+(1-\lambda_1-\lambda_2)x_3
:y=\lambda_1y_1+\lambda_2y_2+(1-\lambda_1-\lambda_2)y_3
Chuyển vế đổi dấu ta được
:\lambda_1(x_1-x_3)+\lambda_2(x_2-x_3)+x_3-x=0
:\lambda_1(y_1-y_3)+\lambda_2(y_2-y_3)+y_3-y=0
Biến đổi tuyến tính có thể viết gọn là
:\overrightarrow{T}\cdot\overrightarrow{\lambda}=\vec r-\vec r_3
với \vec{\lambda} là vector có tọa độ barycentric, r là vector có tọa độ Cartesian và \overrightarrow{T} là ma trận được cho bởi
:\left(\begin{matrix}
x_1-x_3 & x_2-x_3 \\
y_1-y_3 & y_2-y_3 \\
\end{matrix}\right)
\overrightarrow{T} khả nghịch khi \vec r_1-\vec r_3 và \vec r_2-\vec r_3 độc lập tuyến tính (nếu đây không phải là trường hợp, \vec r_1,\vec r_2,\vec r_3 có thể là song tuyến tính và không cấu thành tam giác). Thật vậy, ta có thể thế số trên vào phương trình để
:
\left(\begin{matrix}\lambda_1 \\ \lambda_2\end{matrix}\right) = \overrightarrow{T}^{-1} (\overrightarrow{r}-\overrightarrow{r}_3)
\,
Quá trình đi tìm tọa barycentric không khác gì đi tìm ma trận khả nghịch của \overrightarrow{T}, khá dễ dàng trong trường hợp ma trận 2×2.
Rõ ràng ta thấy các công thức tính tọa độ barycentric của điểm r về tọa độ Cartesian của chúng (x,y) và về tọa độ Cartesian của hệ điểm trong tam giác sẽ có là
:\lambda_1=\frac{(y_2-y_3)(x-x_3)+(x_3-x_2)(y-y_3)}{\det(T)}=\frac{(y_2-y_3)(x-x_3)+(x_3-x_2)(y-y_3)}{(y_2-y_3)(x_1-x_3)+(x_3-x_2)(y_1-y_3)}\,,
với
\mathbf{R} = \left(\begin{matrix}
\mathbf{r}_1 |
\mathbf{r}_2 |
\mathbf{r}_3
\end{matrix}\right)
:\lambda_2=\frac{(y_3-y_1)(x-x_3)+(x_1-x_3)(y-y_3)}{\det(T)}=\frac{(y_3-y_1)(x-x_3)+(x_1-x_3)(y-y_3)}{(y_2-y_3)(x_1-x_3)+(x_3-x_2)(y_1-y_3)}\,,
:\lambda_3=1-\lambda_1-\lambda_2\,.
Một cách khác để chuyển đổi từ tọa độ Cartesian sang tọa độ barycentric để viết lại biểu thức dưới dạng ma trận
:\vec{r} = \vec{R} \vec{\lambda}
với
\overrightarrow{R} = \left(\begin{matrix}
\vec{r}_1 |
\vec{r}_2 |
\vec{r}_3
\end{matrix}\right) và
:\vec{\lambda} = \left(\lambda_1,\lambda_2,\lambda_3\right)^\top.
Và điều kiện \lambda_1+\lambda_2+\lambda_3=1 ghi chú \left(1,1,1\right) \vec{\lambda} = 1 và tọa độ barycentric có thể được giải quyết như các giải pháp của các hệ tuyến tính
:
\left(\begin{matrix}
x_1 & x_2 & x_3\\
y_1 & y_2 & y_3\\
1 & 1 & 1
\end{matrix}\right)
\vec{\lambda} =
\left(\begin{matrix}
x\\
y\\
1
\end{matrix}\right)

Chuyển đổi giữa tọa độ barycentric và tọa độ tam tuyến tính
Một điểm có tọa độ tam tuyến tính x:y:z có tọa độ barycentric ax:by:cz với a, b và c là các độ dài phụ của tam giác nào đó. Nhưng ngược lại, một điểm có tọa độ barycentric &alpha;:&beta;:&gamma; sẽ có tọa độ tam tuyến tính &alpha;/a:&beta;/b:&gamma;/c.
Ứng dụng: Xác định vị trí đối với một tam giác

Ứng dụng: Phép nội suy trên lưới phi cấu trúc tam giác
Ứng dụng: Tích phân trên một tam giác
Ví dụ
Đường tròn ngoại tiếp của một tam giác ABC có tọa độ barycentric
: a^2(-a^2 + b^2 + c^2):\;b^2(a^2 - b^2 + c^2):\;c^2(a^2 + b^2 - c^2)\,
:=\sin 2A:\sin 2B:\sin 2C,
với a, b và c lần lượt là độ dài các cạnh BC, CA, AB của một tam giác.
Trực tâm của tam giác cũng tương tự
:\tan A:\tan B:\tan C.
Incenter cũng có
:a:b:c=\sin A:\sin B:\sin C.
Tâm cửu-điểm cũng có
:a\cos(B-C):b\cos (C-A):c\cos (A-B)
::=a^2(b^2+c^2)-(b^2-c^2)^2:b^2(c^2+a^2)-(c^2-a^2)^2:c^2(a^2+b^2)-(a^2-b^2)^2.

Tọa độ trên một tứ diện
Ở đây biểu thức lại được biểu diễn dưới dạng biến đổi tuyến tính (nhưng khác ở chỗ là chúng ta đang xét trên một tứ diện trong \mathbb{R}^3 nên nó có 4 điểm - thì sẽ có 4 thành phần số trong tọa độ
:
\left(\begin{matrix}\lambda_1 \\ \lambda_2 \\ \lambda_3\end{matrix}\right) = \overrightarrow{T}^{-1} (\overrightarrow{r}-\overrightarrow{r}_4)
\,
trong đó \overrightarrow{T} là một ma trận cấp 3×3:
:
\overrightarrow{T} = \left(\begin{matrix}
x_1-x_4 & x_2-x_4 & x_3-x_4\\
y_1-y_4 & y_2-y_4 & y_3-y_4\\
z_1-z_4 & z_2-z_4 & z_3-z_4
\end{matrix}\right)
.
Tham khảo

Sách tham khảo


Barycentric Calculus In Euclidean And Hyperbolic Geometry: A Comparative Introduction , Abraham Ungar, World Scientific, 2010
Hyperbolic Barycentric Coordinates, Abraham A. Ungar, The Australian Journal of Mathematical Analysis and Applications, Vol.6, No.1, Article 18, pp.&nbsp;1–35, 2009