Nelikulmion sivujen keskipisteitä yhdistävät janat muodostavat nelikulmion (punainen), joka on aina suunnikas.**Varignonin lause** on geometriassa Pierre Varignon vuonna 1831 todistama tulos, jonka mukaan nelikulmion sivujen keskipisteitä yhdistävät janat muodostavat aina suunnikkaan, oli nelikulmio minkä muotoinen tahansa. Suunnikasta kutsutaan siksi **Varignonin suunnikkaaksi** (engl. *Varignon parallelogram*).

Ominaisuuksia
-------------

Varignonin suunnikkaan (vihreä) lävistäjät (siniset) ovat nelikulmion bimediaaneja. Punaiset janat ovat nelikulmion lävistäjät.Sisäkkäiset Varignonin suunnikkaat pienenevät ja suppenevat pisteeseen, joka on nelikulmion keskipiste.
* *Varignonin suunnikkaan* keskipiste löytyy sen lävistäjien leikkauspisteestä. Suunnikkaan lävistäjät puolittavat toisensa tässä keskipisteessä. Lävistäjät ovat alkuperäisen nelikulmion bimediaaneja.
* *Varignonin suunnikkaan* keskipiste ja nelikulmion kärkiin sijoitettujen samankokoisten massojen massakeskipiste sijaitsee samassa kohdassa.
* *Varignonin suunnikkaan* sivut ovat yhdensuuntaisia alkuperäisen nelikulmion lävistäjien kanssa.
* Nelikulmion lävistäjien keskipisteitä yhdistävä jana kulkee *Varignonin suunnikkaan* keskipisteen kautta. Suunnikkaan keskipiste puolittaa myös tämän janan.
* *Varignanin suunnikkaan* pinta-ala on puolet alkuperäisen nelikulmion pinta-alasta.
* *Varignanin suunnikkaan* piiri on yhtä pitkä kuin alkuperäisen nelikulmion lävistäjien yhteispituus.

Erikoistapauksia
----------------

Sekä yksinkertaisen että kompleksisen nelikulmion *Varignonin suunnikkaalla* on yleensä kahden pituiset sivut ja suuruiset kulmat. Silloin suunnikkaan lävistäjät ovat eri pituisia ja ne leikkaavat toisensa terävässä kulmassa.

Kun nelikulmio on yleinen nelikulmio, puolisuunnikas tai suunnikas, on *Varignonin suunnikas* aina yleinen suunnikas. Kun nelikulmio on tasakylkinen puolisuunnikas tai suorakulmio, on Varignonin suunnikas neljäkäs. Vielä, kun nelikulmio on neljäkäs tai leija, on *Varignonin suunnikas* aina suorakulmio. Nelikulmion ollessa neliö, on myös *Varignonin suunnikas* neliö.

Jos *Varignonin suunnikkaan* sisälle piirtää toisen *Vargnonin suunnikkaan*, on myös se suunnikas. Lisäämällä toistuvasti uusien *Varignonin suunnikkaiden* piirtämistä sisempien *Varignonin suunnikkaiden* sisälle, syntyy loputon jono pieneneviä suunnikkaita. Näiden suunnikkaiden kuvioiden jono suppenee yhteen pisteeseen, joka on nelikulmion keskipiste. Lukuun ottamatta ensimmäistä nelikulmiota, ovat jonon parilliset jäsenet yhdenmuotoisia keskenään, ja jonon muut kuviot ovat taas yhdenmuotoisia vain keskenään.

| Konveksi nelikulmio | Konkaavi nelikulmio | Rusettinelikulmio |
| --- | --- | --- |
|  |  |  |

Todistus
--------

Lause voidaan todistaa homotetian avulla: Soveltamalla homotetiaa keskipisteitä yhdistävään janaan homotetiakeskuksena neliön kärkipisteet kertoimella 2 nähdään, että nelikulmion keskipisteitä yhdistävät janat kuvautuvat nelikulmion lävistäjiksi. Koska homotetia säilyttää janojen yhdensuuntaisuuden, on keskipisteitä yhdistävät vastakkaiset janat yhdensuuntaiset, eli nelikulmio on suunnikas.

Yleistys
--------

Keskinen kolmio on vastaava tilanne kolmiolla. Jos merkitään monikulmion sivuille keskipisteet ja yhdistetään viereiset keskipisteet janoilla, saadaan muodostettua keskinen monikulmio mille monikulmiolle tahansa.

Katso myös
----------

* Bimediaani
* Keskinen kolmio on vastaava tilanne kolmiossa.

Lähteet
-------

### Viitteet

1. 1 2 3 4  Weisstein, Eric W.: Varignon's Theorem (Math World – A Wolfram Web Resource) Wolfram Research.  (englanniksi)
2. ↑  Compendium Geometry: Varignon parallelogram
3. 1 2 3  Weisstein, Eric W.: Varignon Parallelogram (Math World – A Wolfram Web Resource) Wolfram Research.  (englanniksi)
4. ↑  Weisstein, Eric W.: Bimedian (Math World – A Wolfram Web Resource) Wolfram Research.  (englanniksi)
5. ↑  Cource E: 7 th Chapter: Properties of 2-D figures, s.407 (Arkistoitu – Internet Archive), York Catholic
6. 1 2  Weisstein, Eric W.: Midpoint Polygon (Math World – A Wolfram Web Resource) Wolfram Research.  (englanniksi)
7. ↑  Weisstein, Eric W.: Derived Polygon (Math World – A Wolfram Web Resource) Wolfram Research.  (englanniksi)