Pengguna:Dedhert.Jr/Uji halaman 01/7: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dedhert.Jr (bicara | kontrib) |
Dedhert.Jr (bicara | kontrib) Tidak ada ringkasan suntingan |
||
Baris 16:
[[Berkas:Pick_triangle_tessellation.svg|jmpl|Pengubinan bidang melalui salinan segitiga dengan tiga simpul bilangan bulat dan tidak ada titik bilangan bulat lain. Ini dipakai dalam membuktikan teorema Pick.]]
Bagian pertama mengenai bukti ini memperlihatkan bahwa segitiga dengan tiga verteks bilangan bulat dan tidak ada titik bilangan bulat lain memiliki setidaknya <math>\tfrac{1}{2}</math>, seperti yang dijelaskan melalui rumus Pick. Faktanya, bukti ini menggunakan semua segitiga yang [[Teselasi|mengubin di bidang]]<u>,</u> dengan segitiga yang berdampingan berputar 180° dari masing-masing sisi segitiga lain disekitarnya.{{r|edward}} Pada pengubinan segitiga melalui tiga puncak bilangan bulat dan bukan titik bilangan bulat lainnya, masing-masing titik dari kisi bilangan bulat merupakan puncak dari enam pengubinan. Because the number of triangles per grid point (six) is twice the number of grid points per triangle (three), the triangles are twice as dense in the plane as the grid points. Any scaled region of the plane contains twice as many triangles (in the limit as the scale factor goes to infinity) as the number of grid points it contains. Therefore, each triangle has area <math>\tfrac{1}{2}</math>, as needed for the proof.{{r|az}} A different proof that these triangles have area <math>\tfrac{1}{2}</math> is based on the use of [[Minkowski's theorem]] on lattice points in symmetric convex sets.{{r|minkowski}}
[[Berkas:Grid_polygon_triangulation.svg|jmpl|
Bukti ini sudah membuktikan rumus Pick untuk poligon yang merupakan salah satu dari segitiga-segitiga khusus tersebut. Suatu poligon lain dapat dibagi lagi menjadi segitiga khusus
Poligon yang dapat dibagi menjadi segitiga membentuk [[graf planar]], dan rumus Euler <math>V - E + F = 2</math> memberikan persamaan yang berlaku untuk jumlah simpul, tepi dan wajah suatu poligon. Simpul poligon tersebut hanya berupa jumlah kisi dari poligon, yang berjumlahkan <math>V = i + b</math>. Wajahnya merupakan segitiga dari subpembagian poligon, dan daerah tunggalnya berada di luar bidang poligon. Jumlah segitiganya adalah <math>2A</math>, sehingga terdapat <math>F=2A+1</math> wajah. Untuk menghitung jumlah tepi, amati bahwa ada <math>6A</math> sisi segitiga dalam subpembagian polihedron. Each edge interior to the polygon is the side of two triangles. However, there are <math>b</math> edges of triangles that lie along the boundary of the polygon, and form part of only one triangle. Therefore, the number of sides of triangles obeys an equation <math>6A=2E-b</math> from which one can solve for the number of edges, <math>E=\tfrac{6A+b}{2}</math>.
Perhitungan tersebut juga dapat dilakukan melalui cara lain dengan menggunakan teorema Pick (yang dibuktikan dengan cara yang berbeda) sebagai dasar untuk pembuktian rumus Euler.{{r|wells|equivalence}}
Baris 26:
Bukti-bukti teorema Pick lain tanpa menggunakan rumus Euler, diantaranya sebagai berikut:
*
* Alternatively, instead of using grid squares centered on the grid points, it is possible to use grid squares having their vertices at the grid points. These grid squares cut the given polygon into pieces, which can be rearranged (by matching up pairs of squares along each edge of the polygon) into a [[polyomino]] with the same area.{{r|trainin}}
* Teorema Pick
*
Pick's theorem was included in a web listing of the "top 100 mathematical theorems", dating from 1999, which later became used by Freek Wiedijk as a [[Benchmark (computing)|benchmark]] set to test the power of different [[Proof assistant|proof assistants]]. {{as of|2021}}, a proof of Pick's theorem had been formalized in only one of the ten proof assistants recorded by Wiedijk.{{r|wiedijk}}
== Perumuman ==
The [[Reeve tetrahedron|Reeve tetrahedra]] in three dimensions have four integer points as vertices and contain no other integer points. However, they do not all have the same volume as each other. Therefore, there can be no analogue of Pick's theorem in three dimensions that expresses the volume of a polytope as a function only of its numbers of interior and boundary points.{{r|reeve}} However, these volumes can instead be expressed using [[Ehrhart polynomial|Ehrhart polynomials]].{{r|br2|ehrhart}}
|