Math Labs

Bài 6

Gán cho mỗi cạnh bb của một đa giác lồi PP diện tích lớn nhất của một tam giác nhận bb làm một cạnh và nằm trong PP. Chứng minh rằng tổng các diện tích được gán cho các cạnh của PP lớn hơn hoặc bằng hai lần diện tích của PP.
Bước 1 trên 5: Phủ một 2m2m-giác gần lồi bởi mm hình bướm
Hiểu nôm na

Khi đường chéo chính có hướng PiPi+mP_iP_{i+m} bước từ i=0i=0 đến i=mi=m, nó đảo chiều từ P0PmP_0P_m sang PmP0P_mP_0, nên mọi điểm trong đa giác phải bị quét qua ít nhất một lần bởi hình nơ giữa hai đường chéo chính liên tiếp.

Bi=△PiPi+1Oi∪△Pi+mPi+m+1Oi,Oi=PiPi+m∩Pi+1Pi+m+1(i=0,…,m−1)B_i=\triangle P_iP_{i+1}O_i\cup\triangle P_{i+m}P_{i+m+1}O_i,\quad O_i=P_iP_{i+m}\cap P_{i+1}P_{i+m+1}\quad(i=0,\dots,m-1)
Phân tích chi tiết

Gọi một đa giác là gần lồi nếu mọi góc trong của nó đều ≤180∘\le 180^\circ (tức là một đa giác lồi có thêm một số đỉnh nằm trên các cạnh). Đánh số các đỉnh của một 2m2m-giác gần lồi QQ diện tích SS là P0,P1,…,P2m−1P_0,P_1,\dots,P_{2m-1} (chỉ số lấy mod 2m2m). Với i=0,…,m−1i=0,\dots,m-1, hai đường chéo chính PiPi+mP_iP_{i+m} và Pi+1Pi+m+1P_{i+1}P_{i+m+1} cắt nhau tại một điểm Oi∈QO_i\in Q và giới hạn một hình bướm tự cắt Bi=△PiPi+1Oi∪△Pi+mPi+m+1OiB_i=\triangle P_iP_{i+1}O_i\cup\triangle P_{i+m}P_{i+m+1}O_i. Khi ii tăng từ 00 đến mm, đường thẳng có hướng PiPi+mP_iP_{i+m} đảo hướng từ P0PmP_0P_m sang PmP0P_mP_0, nên mọi điểm trong X∈QX\in Q đều đổi phía ở một bước ii nào đó và do đó nằm trong BiB_i. Vậy Q=⋃i=0m−1BiQ=\bigcup_{i=0}^{m-1}B_i.