Pickin lause

**Pickin lauseen** avulla (tunnetaan myös nimellä **Pickin kaava**) voidaan laskea annetun monikulmion, jonka kärkipisteet ovat hilapisteissä, pinta-ala *A*, mikäli tiedetään monikulmion sisustan hilapisteiden lukumäärä *i* ja reunalla olevien hilapisteiden lukumäärä *b*. Pickin kaavan mukaan tällöin on voimassa

:*A* = *i* + ½*b* &minus; 1.

Kuvassa olevassa esimerkissä on *i* = 39 ja *b* = 14, joten monikulmion ala on *A* = 39 + ½(14) &minus; 1 = 39 + 7 &minus; 1 = 45.

Huomaa, että lause on voimassa vain yhtenäisille monikulmioille, joten monikulmion on koostuttava yhdestä palasta, ja siinä ei saa olla reikiä. Useamman reiän tapauksessa kaavan "&minus;1" on korvattava termillä "&minus;χ(*P*)", jossa χ(*P*) on *P*:n Eulerin karakteristika.

Lauseen todisti Georg Alexander Pick vuonna 1899. Lause voidaan yleistää useampaan ulottuvuuteen käyttämällä hyväksi niin sanottuja Ehrhartin polynomeja.

## Todistus

Tarkastellaan monikulmiota *P* ja kolmiota *T*, kun *T*:llä ja *P*:llä on yhteinen sivu. Todistetaan, että jos Pickin lause on voimassa monikulmiolle *P*, on se myös voimassa monikulmiolle *PT*, jossa *PT* on saatu liittämällä kolmio *T* monikulmioon *P*. Koska *P*:llä ja *T*:llä on yhteinen sivu, ovat kaikki tämän sivun pisteet *PT*:n sisäpisteitä lukuun ottamatta sivujen päätepisteitä. Siten jos *c* on *P*:n ja *T*:n yhteisten reunapisteiden lukumäärä, on

:*i<sub>PT</sub>* = (*i<sub>P</sub>* + *i<sub>T</sub>*) + (*c* &minus; 2) 

ja

:*b<sub>PT</sub>* = (*b<sub>P</sub>* + *b<sub>T</sub>*) &minus; 2(*c* &minus; 2) &minus; 2.

Yllä olevasta seuraa, että

:(*i<sub>P</sub>* + *i<sub>T</sub>*) = *i<sub>PT</sub>* - (*c* &minus; 2) 

ja että

:(*b<sub>P</sub>* + *b<sub>T</sub>*) = *b<sub>PT</sub>* + 2(*c* &minus; 2) + 2.

Koska lause on voimassa sekä *P*:lle että *T*:lle, on 

:*A<sub>PT</sub>* = *A<sub>P</sub>* + *A<sub>T</sub>*
:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;= *i<sub>P</sub>* + ½*b<sub>P</sub>* &minus; 1 + *i<sub>T</sub>* + ½*b<sub>T</sub>* &minus; 1
:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;= (*i<sub>P</sub>* + *i<sub>T</sub>*) + ½(*b<sub>P</sub>* + *b<sub>T</sub>*) &minus; 2
:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;= *i<sub>PT</sub>* &minus; (*c* &minus; 2) + ½(*b<sub>PT</sub>* + 2(*c* &minus; 2) + 2) &minus; 2
:&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;= *i<sub>PT</sub>* + ½*b<sub>PT</sub>* &minus; 1.

Siten jos kaava on voimassa *n*-kulmiolla, on se voimassa myös (*n*&nbsp;+&nbsp;1)-kulmiolle. Vielä pitää osoittaa, että kaava on voimassa kolmioille. Tämä voidaan tehdä kolmessa osassa:

* Tarkistetaan ensin, että kaava on voimassa nelikulmiolle, jonka sivut ovat yhdensuuntaisia koordinaattiakselien kanssa.
* Jakamalla tämä nelikulmio lävistäjän suhteen kahtia voidaan osoittaa, että kaava on voimassa suorakulmaisille kolmioille.
* Jokainen kolmio voidaan täydentää nelikulmioksi liittämällä kolmioon korkeintaan kolme suorakulmaista kolmiota. Koska lause on voimassa kaikille kolmioille ja nelikulmioille, joiden sivut ovat koordinaattiakselien suuntaiset, on lause voimassa myös jokaiselle kolmiolle.

Viimeisessä vaiheessa käytetään tietoa, että jos lause on voimassa monikulmiolle *PT* ja kolmiolla *T*, on se myös voimassa monikulmiolle *P*. Tämän osoittaminen on hyvin samantapaista kuin yllä oleva päättely.

## Aiheesta muualla

* Java-animaatio Pickin lauseesta Cut-the-knotissa.