File:Pick's Theorem Upper Bound Diagram.svg

From testwiki
Jump to navigation Jump to search
    Original file (SVG file, nominally 794 × 454 pixels, file size: 15 KB)

    This file is from Wikimedia Commons and may be used by other projects. The description on its file description page there is shown below.

    Summary

    Description
    English: The first part of proving Pick's theorem is to show that a triangle whose vertices have integer coordinate and that contains no other integer points has area exactly 1/2. One can get a lower bound using the shoelace formula (as the coordinates are all integers, and the area is positive, we have that the determinant must be at least 1 and so the area is at least 1/2). One way to get an upper bound is to create a convex symmetric shape containing no other integer points, as then one can use Minkowski's theorem (on the interior) to show that this shape must have area at most 2^2 = 4. In this case, we can construct such a shape out of 8 triangles via translating it and a rotated copy by 180 degrees. Thus, each triangle has an area at most 4/8 = 1/2. Therefore the triangle has area 1/2.
    Date
    Source Own work
    Author Scrooge Mcduc

    Licensing

    I, the copyright holder of this work, hereby publish it under the following license:
    Creative Commons CC-Zero This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication.
    The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.

    Captions

    To prove Pick's theorem, one needs to show that an integer vertice triangle with no other integer points inside it has area 1/2. This image shows how to construct a set that allows application of Minkowski's theorem to get an upper bound of 1/2.

    Items portrayed in this file

    depicts

    18 January 2026

    15,185 byte

    image/svg+xml

    41d967579539c9249d671ce1855193f5abf270fa

    File history

    Click on a date/time to view the file as it appeared at that time.

    Date/TimeThumbnailDimensionsUserComment
    current05:38, 19 January 2026Thumbnail for version as of 05:38, 19 January 2026794 × 454 (15 KB)wikimediacommons>Scrooge McducAdded dashed grid lines, the rest of the grid points, and redid the numbering

    There are no pages that use this file.