1.

(bukan bagian aku)

2. Untuk N = 5, buat semua set poin yang mungkin P = {P1, P2, P3, P4, P5}, sedemikian rupa
sehingga Pi adalah anggota dari pesimpangan Kj untuk semua nilai j dari 1 sampai 5,
dengan batasan j ≠ i. Sebagai contoh, P2 adalah anggota persimpangan dari K1, K3, K4,
K5.

(a) (b)

Gambar 3.56

Dari Teorema Radon, setiap set P dapat dipartisi menjadi duat set S1 dan S2 yang
lambung cembung berpotongan. Sekarang perlu ditunjukkan bahwa setiap titik di
persimpangan lambung cembung adalah milik kelima set cembung asli. P dapat dipartisi
menjadi dua set dengan tiga dan dua titik, atau menjadin dua set dengan empat dan satu
titik. P telah dibangun sehingga tutup cembung dari setiap empat titik terletak
sepenuhnya di salah satu set K. Sebagai contoh, tutup cembung dari P1, P2, P3, P4 terletak
di K5.
Untuk partisi tiga-dua, kamu dapat memvisualisasikan lambung cembung sebagai
segitiga dan segmen dengan titik persimpangan umum, seperti yang ditunjukkan oleh
gambar 3.57a. Titik umum ini adalah lambung cembung dari masing-masing empat poin
P, dan, oleh karena itu, terletak di setiap set K. Untuk empat-satu partisi, kamu dapat
memvisualisasikan lambung cembung sebagai segiempat dengan kelima titik di dalam,
seperti yang ditunjukkan oleh gambar 3.57b. Titik P5 adalah di tutup cembung setiap set
dari empat poin P.
 (a) (b)
Gambar 3.57
3. Buktinya dilengkapi dengan induksi matematika menggunakan N, jumlah set cembung.
Asumsikan bahwa teorema berlaku untuk set cembung m. Kemudian kita harus
menunjukkan bahwa ini berlaku untuk m+1 set. Misalkan K1,,…,Km, Km+1 menjadi m+1
set cembung, sedemikian rupa sehingga masing-masing empat memiliki persimpangan
tak kosong. Sekarang buat himpunan K1, yaitu persimpangan Km dan Km+1. Kita tahu
bahwa himpunan ini dan tiga himpunan K lainnya memiliki persimpangan yang sama.
Ini berarti bahwa K1, K2,. . . , Km-1, K1, adalah set cembung m, masing-masing empat
memiliki titik yang sama. Jadi, menurut asumsi kami, semua perangkat ini memiliki
persimpangan tak kosong. Persimpangan umum ini milik semua set K1,…, Km, Km +1.

Banyak aplikasi dari Teorema Helly bergantung pada bentuk yang lebih umum yang
dinyatakan tanpa bukti.

TEOREMA 3.28. Untuk setiap kumpulan benda cembung dalam ruang n, jika setiap n +1
dari mereka memiliki titik yang sama, maka semua benda cembung memiliki titik yang
sama.

Salah satu aplikasi menarik dari Teorema Helly menunjukkan keberadaan titik yang
berperilaku agak seperti pusat simetri dari sekumpulan titik bahkan ketika sekumpulan titik
tidak simetris.
 TEOREMA 3.29. Misalkan S = {P1,…, Pn} adalah himpunan titik berhingga dalam ruang.
Lalu ada titik A sedemikian sehingga setiap setengah ruang tertutup yang dibentuk oleh
pesawat melalui A mengandung setidaknya n/4 titik S.

Sebagai ilustrasi, anggap S terdiri dari enam titik dalam ruang. Teorema mengatakan bahwa
ada titik A sehingga setiap setengah ruang tertutup yang dibentuk oleh pesawat melalui A
mengandung setidaknya 6/4 titik S. Ini berarti setiap setengah- pesawat harus benar-benar
mengandung setidaknya dua titik S, karena mengandung lebih dari satu. Penting juga untuk
menunjukkan bahwa A tidak harus menjadi anggota S. Teorema tidak menjelaskan bagaimana
titik A sebenarnya ditemukan.

BUKTI: Karena S adalah himpunan titik yang terbatas, maka ada daerah bulat B yang berisi
semua titik Pi. Pertimbangkan himpunan semua ruang setengah tertutup yang mengandung
lebih dari 3n/4 titik S. Misalkan H1, H2, H3, H4 menjadi sebarang empat dari setengah ruang
yang tertutup ini. Dalam kursus teori himpunan, dapat dibuktikan bahwa
(H1 ∩ H2 ∩ H3 ∩ H4)’ = H1’ ∪ H2’ ∪ H3’ ∪ H4’
Dimana Hi’ adalah komplemen dari Hi. Karena setiap Hi’ mengandung kurang dari n/4 poin
S, H1’ ∪ H2’ ∪ H3’ ∪ H4’ tidak mengandung semua n dari poin S. Kemudian H1 ∩ H2 ∩ H3 ∩
H4 harus mengandung setidaknya satu titik S.
Karena setiap empat dari setengah ruang tertutup memiliki titik umum S, teorema Helly
(dalam bentuk Teorema 3.28) dapat diterapkan pada persimpangan setengah ruang ini
dengan B untuk menyimpulkan ada titik A yang umum untuk semua setengah ruang
tersebut.
Titik A ini adalah titik yang diinginkan dalam teorema. Jika tidak, maka akan ada bidang
𝜋 melalui A yang merupakan batas ruang setengah tertutup yang mengandung kurang dari
n/4 titik S. Ruang setengah terbuka berlawanan H akan berisi lebih dari 3n/4 poin dari S.
Misalkan 𝜋′ adalah bidang yang sejajar dengan 𝜋 yang melewati titik-titik S ∩ H yang
terdekat dengan 𝜋. Setengah ruang tertutup H' dengan batas 𝜋′ dan berbaring di H berisi
lebih dari 3n/4 titik S, tetapi H' tidak mengandung A. Ini adalah kontradiksi, karena A
diasumsikan berada di persimpangan semua setengah-ruang yang berisi lebih dari 3n/4 poin.
 Aplikasi teorema Helly secara mengejutkan sangat banyak; hanya sedikit yang terdaftar
di sini. Teorema yang mirip dengan Teorema 3.29, tetapi melibatkan volume, adalah
sebagai berikut yang dinyatakan tanpa bukti.

TEOREMA 3.30. Misalkan S adalah himpunan titik-titik dalam ruang yang memiliki
volume V. Lalu ada titik A sedemikian sehingga setiap setengah ruang tertutup yang
dibentuk oleh sebuah pesawat melalui A memotong S dalam satu set dengan volume
setidaknya V/4.

Teorema Helly agak terkait erat dengan konsep-konsep geometris lainnya, termasuk ide-
ide penutup universal dan lebar set, seperti yang dibuktikan oleh empat aplikasi terakhir.
Menggambar sebuah gambar untuk mengilustrasikan tiga terakhir akan membantu Anda
lebih memahami aplikasi ini.

TEOREMA 3.31. Jika masing-masing tiga dari n titik dalam sebuah pesawat dapat
ditutup dalam lingkaran dengan jari-jari 1, maka semua n titik dapat ditutup dalam
lingkaran seperti itu.

BUKTI: Buktinya terdiri dari menunjukkan bahwa suatu titik (pusat lingkaran yang
diinginkan) ada yang tidak lebih dari 1 unit dari masing-masing titik. Gambar tiga rol
poin ditunjukkan pada Gambar 3.58.

Gambar 3.58
Biarkan lingkaran dengan pusat X menjadi lingkaran satuan yang melingkupi tiga titik,
A, B, C. Tiga lingkaran dengan pusat A, B, C semuanya berisi X. Dengan Teorema Helly,
karena setiap tiga unit lingkaran dengan yang diberikan titik sebagai pusat memiliki
persimpangan tak kosong, semua lingkaran memiliki persimpangan tak kosong. Titik di
persimpangan umum ini akan berfungsi sebagai pusat lingkaran satuan yang melampirkan
semua titik.

TEOREMA 3.32. Teorema Jung. Untuk n titik bidang, sehingga masing-masing

memiliki jarak kurang dari 1 unit, semua dapat ditutup dalam lingkaran dengan jari-jari
√3/3.

TEOREMA 3.33. Teorema Blaschke. Setiap angka cembung dibatasi lebar konstan 1
berisi lingkaran jari-jari 1/3.

TEOREMA. 3.34. Diberikan n pada segmen garis paralel pada bidang yang sama, jika
ada garis yang memotong masing-masing dari mereka, maka ada garis yang memotong
semua segmen garis.

Geometri cembung adalah bidang geometri modern yang berkembang pesat. Banyak
figur geometri Euclidean yang telah dikenal memiliki sifat baru ketika mereka dianggap
sebagai himpunan cembung. Bab ini sengaja dibuka dengan harapan bahwa pembaca akan
mencari artikel penelitian terbaru tentang cembung, banyak di antaranya cukup mendasar.

LATIHAN 3.7

1. Gambarlah gambar dengan enam set cembung di pesawat untuk mengilustrasikan Teorema
Helly.
2. Berikan contoh dalam satu dimensi untuk menunjukkan bahwa teorema Helly tidak berlaku
untuk set nonkonversi.
3. Dengan hati-hati nyatakan teorema Helly untuk dua dimensi. Berikan nomor tertentu jika
sesuai.
4. Berikan contoh dalam dua dimensi untuk menunjukkan bahwa teorema Helly tidak berlaku
untuk set nonkonversi.
5. Gambar model untuk teorema Helly untuk n = 1 dan N = 4.
6. Garis besarkan bukti teorema Helly untuk satu dimensi.
7. Garis besarkan bukti teorema Helly untuk dua dimensi.
8. Untuk delapan simpul kubus, apakah Teorema 3.29 berlaku untuk A sebagai pusat kubus?
9. Misalkan S adalah seperangkat tepat 24 titik berbeda dalam ruang. Lalu ada titik
sedemikian rupa sehingga setiap setengah ruang tertutup yang dibentuk oleh pesawat
melalui titik ini mengandung setidaknya berapa banyak titik S?
10. Nyatakan dan buktikan teorema untuk bidang yang analog dengan Teorema 3.29.
11. Verifikasi Teorema 3.33 untuk segitiga Reuleaux dengan lebar konstan 1.
12. Gambarlah untuk memverifikasi Teorema 3.34.
13. Buktikan Teorema 3.30.
14. Ambil berbagai contoh, mulai dengan simpul-simpul segitiga satuan, untuk
mengembangkan Teorema 3.32 secara intuitif. Kemudian pelajari bukti formal.
15. Buat dugaan Anda sendiri tentang aplikasi yang mungkin, kemudian lihat teks referensi
tentang kecemburuan dan daftar aplikasi tambahan dari teorema Helly selain yang
disebutkan dalam bagian ini.

Untuk Latihan 1-4, beri tahu pernyataan mana yang benar untuk semua set cembung yang
terdiri dari lebih dari satu titik.
1. Perpotongan dari dua set ini adalah set cembung.
2. Setiap titik set memiliki garis pendukung yang berisi itu.
3. Menghapus tepat satu titik batas akan menghasilkan set cembung.
4. Setiap titik milik set adalah titik interior.

Untuk Latihan 5-10, beri tahu apakah setiap set selalu cembung.

5. Penyatuan dua sudut dan interiornya

6. Bagian dalam wilayah segitiga
7. Kurva tertutup sederhana dan bagian dalamnya
8. Satu set yang ditutup, dibatasi, dan tidak kosong
9. {(x, y): y > |x|}
10. {(x, y): x 2 + y 2 ≥ 1}
11. Jelaskan batas himpunan ini: ((x. y) x dan y adalah bilangan rasional].

Untuk setiap set dalam Latihan 12 dan 13, jelaskan poin reguler dan poin sudut. Dan katakan
apakah beri tahu apakah garis tersebut merupakan garis pendukung untuk perangkat tersebut.

12. Set: Wilayah heksagonal; Garis: Garis berpotongan diatur pada satu
titik saja
13. Set: sudut 50 ° dan bagian dalamnya; Garis: Salah satu sinar membentuk sudut

Untuk Latihan 14-20, tunjukkan set mana yang selalu badan cembung.

14. Segitiga reuleaux

15. Persimpangan dua badan cembung
16. Lambung cembung elips
17. Kurva tertutup sederhana dan bagian dalamnya
18. Daerah melingkar dengan satu titik batas hilang
19. Prisma kanan persegi dan interior
20. Interior ellipsoid

Untuk latihan 21 -23, gambarkan lambung cembung dari setiap set.

21. Tiga titik berbeda, bukan collinear

22. Sudut akut
23. Prisma kanan segitiga
24. Temukan lebar maksimum wilayah persegi panjang yaitu 2 cm x 4 cm.

Untuk Latihan 25-28, pernyataan manakah yang selalu benar untuk batas segitiga Reuleaux?

25. Ini adalah kurva tertutup sederhana.

26. Ia memiliki tiga poin sudut.
27. Ini adalah sampul universal.
28. Keliling lebih besar dari keliling lingkaran dengan diameter yang sama.
29. Misalkan K adalah benda cembung dengan lebar konstan dan anggap bahwa A adalah titik
bukan pada K. Apa yang dapat Anda simpulkan tentang diameter penyatuan A dan A?
30. Apakah mungkin untuk set cembung dua dimensi tidak memiliki titik ekstrim?
31. Untuk membuat dua jenis barang, P dan Q, dua mesin, I dan II, diperlukan. Untuk
8
membuat item P, mesin I beroperasi selama 1 jam dan mesin II beroperasi selama jam.
5
4
Untuk membuat item Q, mesin I beroperasi 1 jam dan mesin II beroperasi selama jam.
5

Setiap mesin dapat berjalan 16 jam atau kurang per hari. Pada item P, perusahaan
merealisasikan untung $30 dan pada item Q, untung $20. Berapa banyak setiap item yang
harus diproduksi per hari untuk keuntungan maksimum?
Latihan tinjauan bab tambahan dapat dipilih dari latihan apa pun yang tidak ditugaskan dari
set latihan sebelumnya dalam bab ini.