Bipyramidi

*n*-kulmainen **bipyramidi**, **dipyramidi** eli **kaksoispyramidi**  on monitahokas, joka saadaan yhdistämällä *n*-kulmainen pyramidi ja sen peilikuva pohjat vastakkain.  *n*-kulmaisella bipyramidilla on 2*n* kolmion muotoista tahkoa, 3*n* särmää ja 2&nbsp;+&nbsp;*n* kärkeä.

Se *n*-kulmio, johon bipyramidin nimessä viitataan, ei ole mikään sen sivutahkoista vaan alkuperäisten pyramidien pohja, joka bipyramidia muodostettaessa jää sen sisään yhdistäen molemmat pyramidit toisiinsa ja on samalla bipyramidin symmetriataso.

Särmiöiden duaalikappaleet ovat bipyramideja.

Bipyramidin muodostavien pyramidien huippuja sanotaan bipyramidin apekseiksi.

## Suorat, vinot ja koverat bipyramidit
**Suoralla bipyramidilla** on kaksi kärkipistettä suoraan pohjan keskipisteen ylä- ja alapuolella. Bipyramideja, jotka eivät ole suoria, sanotaan **vinoiksi bipyramideiksi**.  **Säännöllisen bipyramidin** pohja on säännöllinen monikulmio, ja usein edellytetään lisäksi, että se on myös suora bipyramidi. Suora bipyramidi voidaan esittää muodossa  sisäiselle monikulmiolle *P* ja säännöllinen *n*-bipyramidi muodossa 

**Kovera bipyramidi** on bipyramidi, jonka pohjana oleva monikulmio on kovera.
:

Säännöllinen bipyramidi on *tahkotransitiivinen*, jos se on jonkin uniformisen särmiön duaalikappale. Sellaisen sivutahkot ovat yleensä tasakylkisiä kolmiota.

Bipyramidin projektio pallopinnalla on kuvio, jonka muodostavat, jos pallo ajatellaan karttapalloksi, tasavälein *n* navalta navalle johtavaa pituuspiiriä sekä päiväntasaaja.

Bipyramidin tahkot projisoituina pallokolmioiksi esittävät perusalueita diedrisessä symmetriassa D*n*h. Itse asiassa *n*-kulmaista bipyramidia voidaan pitää vastaavan *n*-kulmaisen diedrin kleetooppina.

## Tilavuus
Bipyramidin tilavuus on V = \frac{2}{3} Bh, missä *B* on pohjan pinta-ala ja *h* korkeus mitattuna pohjasta apeksiin. Tämä pitää paikkansa, sijaitsipa apeksi missä tahansa, kunhan *h* on mitattu kohtisuorasti siihen tasoon nähden, jolla pohja on.
 
Jos bipyramidin pohja on säännöllinen *n*-sivuinen monikulmio, jonka sivu on *s*, ja bipyramidin korkeus on *h*, sen tilavuus on
:V = \frac{n}{6}hs^2 \cot\frac{\pi}{n}.

## Tasasivuisten kolmioiden muodostamat bipyramidit

On vain kolmenlaisia bipyramideja, joiden kaikki särmät ovat yhtä pitkät ja tahkot näin ollen tasasivuisia kolmiota. Tällaiset bipyramidit ovat deltaedrejä. Sellaisia ovat:
* triangulaarinen bipyramidi, jonka pohja on myös tasasivuinen kolmio,
* tetragonaalinen bipyramidi eli säännöllinen oktaedri, jonka pohja on neliö, ja
* pentagonaalinen dipyramidi, jonka pohja on säännöllinen viisikulmio.
Tetragonaalinen bipyramidi, jonka kaikki särmät ovat yhtä pitkät, on sama kuin säännöllinen oktaedri, joka on samalla yksi Platonin kappaleista. Triangulaarinen ja pentagonaalinen bipyramidi taas kuuluvat Johnsonin kappaleisiin (J12 ja J13).

## Kalideskooppinen symmetria

Jos bipyramidin pohja on monikulmio ja apeksit yhdistävä jana leikkaa pohjan sen keskipisteessä, *n*-kulmaisen bipyramidin symmetria on diedrinen symmetria D*n*h kertalukua 4*n*, paitsi säännöllisen oktaedrin tapauksessa, jolla on laajempi oktaedrinen symmetriaryhmä Oh kertalukua 48, jolla on aliryhminään kolme versiota ryhmästä D4h. Tällaisen bipyramidin rotaatioryhmä on D*n* kertalukua 2*n*, paitsi säännöllisellä oktaedrilla, jolla on laajempi symmetriaryhmä O, kertalukua 24, jolla on aliryhminään kolme versiota ryhmästä D4.

Pallopinnan 2*n*-bipyramidin kaksikulmaiset sivut esittävät kolmiulotteisen avaruuden diedrisen symmetrian perusalueita:D*n*h, [*n*,2], (**n*22), kertalukua 4*n*. Seuraavissa kuvissa nämä on jaettu kahtia niin, että toistensa peilikuvina olevat alueet ovat eri värisiä.

## Suorat säännölliset bipyramidit

## Asymmetriset suorat bipyramidit

**Asymmetrinen suora bipyramidi** kostuu kahdesta pyramidista, joilla on yhteinen pohja mutta eri korkeus. Nämä pyramidit saattavat olla pohjan samalla puolellakin, jolloin bipyramidia sanotaan *invertoiduksi*. Säännöllisen *n*-kulmaisen asymmetrisen suoran pyramidin symmetriaryhmä on C*n*v, kertalukua 2*n*. Asymmetrisen pyramidin duaalikappale on katkaistu kartio.

## Skalenoedri

**Skalenoedri** on topologisesti 2*n*-sivuisen bipyramidin kaltainen, mutta sen sivutahkoina olevat kolmiot eivät ole tasakylkisiä.

Skalenoedreja on kahta tyyppiä. Ensimmäisesä tyypissä 2*n* kärjestä puolet on keskipisteen kautta kulkevan tason toisella puolella (yläpuolella), puolet toisella (alapuolella). Toisessa tyypissä kaikki nämä kärjet ovat samalla tasolla, mutta vuorotellen eri etäisyyksillä keskipisteestä.

Ensinmainitulla on rotaatioakselit särmien puolivälissä sivuillaan, kärkien kautta kulkevat symmetriatasot ja *n*-kertainen pyörähdyssymmetria akselinsa suhteen, jolloin sen symmetriaryhmä on D*n*d, [2+,2*n*], (2**n*), kertalukua 2*n*. Kristallografiassa esiintyy 8- ja 12-sivuisia skalenoedreja. Kaikki nämä muodot ovat isoedrejä.

Toisen tyypin skalenoedrilla on symmetriaryhmä  D*n*, [2,*n*], (**nn*2), kertalukua 2*n*. Se on *rombinen bipyramidi*.

Pienimmällä skalenoedrilla on 8 tahkoa, ja se on topologisesti säännöllisen oktaedrin kaltainen. Sen kärkipisteet voidaan esittää muodossa (0,0,±1), (±1,0,*z*), (0,±1,−*z*), missä *z* on jokin 0:n ja 1:n välillä oleva vakio. Jos tämä vakio on *z*&nbsp;=&nbsp;0, kyseessä on säännöllinen oktaedri. Jos taas vakio on *1*, tuloksena saadaan disfenoidi, jonka samassa tasossa olevat tahkot yhtyvät. Jos *z*&nbsp;>&nbsp;1, kappale ei ole kupera. 

## Tähtibipyramidit
On olemassa myös itsensä leikkaavia bipyramideja, joiden keskuskuviona on tähtimonikulmio. Sellaisten tahkot ovat kolmioita, jotka yhdistävät yhdistävät kunkin monikulmion sivut näihin kahteen pisteeseen. Bipyramidin {p/q} Coxeterin diagrammi on .

Isoedrisiä tähtimäisiä bipyramideja, joilla on parillinen määrä sivuja, voidaan tehdä myös käyttämällä pohjana "sik-sak-monikulmioita", joiden kaikki sivut eivät ole samassa tasossa, samoin kuin isotoksista tähtimonikulmiota, joiden sakarat ovat eri pituiset mutta joiden kaikki sivut sakaran kärjestä toisen sakaran kärkeen mitattuina ovat yhtä pitkät, tai myös monikulmioita, joilla on nämä molemmat ominaisuudet, esimerkiksi seuraavissa esimerkeissä, joissa pohjamonikulmion Schläflin symboli on {8/3}:

## Korkeammat ulottuvuudet
### Bipyramidit 4-polytooppien soluina
Monitahokkaiden vastineita neljässä tai useammassa ulottuvuudessa ovat polytoopit. Kun mikä tahansa kupera 4-polytooppi suoritetaan, näin saadun polytoopin duaali on solutransitiivinen 4-polytooppi, jonka solut ovat kolmiulotteisia bipyramideja. Seuraavassa käytetään bipyramidin apeksikärjelle merkintää A ja ekvaattorilla olevalle kärjelle merkintää E.  esimerkissä bipyramidin apeksikärki on A ja ekvaattorikärki E. Oletetaan lisäksi, että ekvaattorilla kahden vierekkäisen kärjen välinen etäisyys on EE&nbsp;=&nbsp;1, apeksin ja ekvaattorin välisen särmän pituus AE ja apeksien välinen etäisyys AA. Käytetään 4-polytoopin sellaisten kärkien lukumäärälle, jossa *N*A bipyramidia kohtaavat toisensa, merkintää *V*A, ja sellaisten kärkien lukumäärälle, joissa *N*E bipyramidin tyyppiä E olevat kärjet kohtaavat, merkintää *V*E.  Jokaisella tyypin AE särmällä kohtaa toisensa yhtä monta bipyramidia; käytetään tälle lukumäärälle merkintää *N*AE. Vastaavasti jokaisella tyypin EE särmällä kohtaa toisensa yhtä monta bipyramidia; käytetään tälle lukumäärälle merkintää *N*EE.  Olkoon *C*EE särmää EE vastaavan diedrikulman kosini. Koska solujen on mahduttava särmän ympärille, on:
: N_ cos^{-1}(C_{AA}) = 2\pi ja
* N_ cos^{-1}(C_{AE}) = 2\pi.

: * Suoristettu 16-solu on sama kuin säännöllinen 24-solu, ja sen kaikki särmät ovat yhtenevät &nbsp; oktaedrit ovat säännöllisiä bipyramideja.
: ** Ilmoitettu lukuarvona, koska tarkan arvon ilmaisevat kaavat ovat jokseenkin monimutkaisia.

### Useampiulotteiset bipyramidit
Yleisesti *bipyramidia* voidaan pitää *n*-polytooppina, joka konstruoidaan lähtemällä hypertasolla olevasta *n*&nbsp;−&nbsp;1)-polytoopista sekä kahdesta hypertason ulkopuolella sen eri puolilla olevasta pisteestä, jotka ovat kohtisuorasti mitattuina samalla etäisyydellä hypertasosta.  Jos (*n*&nbsp;−&nbsp;1)-polytooppi on säännöllinen polytooppi, kaikki muodostuvan bipyramidin rajoina olevat (*n*&nbsp;−&nbsp;1)-solut ovat yhteneviä. Esimerkkinä voidaan mainita 16-solu, joka on oktaedrinen bipyramidi, ja yleisemmin *n*-ortopleksi, joka on (*n*&nbsp;−&nbsp;1)-ortopleksinen bypyramidi.

Kaksiulotteinen bipyramidi on neljäkäs tai erikoistapauksessa neliö.

## Lähteet

* 

### Viitteet