Diederski kot
Diederski kot (tudi torzijski kot) je v geometriji kot med dvema ravninama.
Diederski kot med dvema ravninama si lahko predstavljamo kot, da gledamo ravnini od strani vzdolž presečne premice. Diederski kot
med dvema ravninama A in B je kot med dvema na ravnino pravokotnima enotskima vektorjema
in 
.
Diederski kot lahko ima predznak. Diederski kot
lahko definiramo kot kot za katerega moramo zavrteti, da se poravna z ravnino B. To pomeni, da velja
.
V višjih razsežnostih diederski kot predstavlja kot med dvema hiperravninama [1]
Vsebina |
Druge definicije [uredi]
Poznamo več definicij diederskega kota.
Ravnino lahko definiramo z dvema nekolinearnima vektorjema, ki ne ležita v ravnini. Če vzamemo vektorski produkt, nam normalizacija da pravokotne normalne vektorje na ravnino. Na ta način lahko diederski kot definiramo s štirimi paroma nekolinearnimi vektorji.
Diederski kot lahko definiramo tudi kot kot diederski kot treh nekolinearnih vektorjev
,
in
(na prvi sliki so prikazani v rdeči, zeleni in modri barvi). Vektorja
in
določata prvo ravnino, vektorja
in
pa določata drugo ravnino. Diederski kot odgovarja zunanjemu sfernemu kotu. Ta je definiran kot
kjer je
funkcija z dva argumentoma (variacija krožne funkcije arctangens).
Diederski koti in poliedri [uredi]
Vsak polieder pravilni ali nepravilni ter konveksni ali konkavni ima diederski kot pri vsakem robu.
Diederski kot je notranji kot srečanja dveh sosednjih stranskih ploskev. Kadar je enak nič stopinj, to pomeni, da sta stranski ploskvi antiparalelni. V tem primeru se stranske ploskve prekrivajo (degenerirani polieder). Kadar pa je diederski kot enak 180º, to pomeni, da so stranske ploskve vzporedne (podobno je pri tlakovanju). Na konkavnih delih poliedra je kot večji od 180º.
Vsak diederski kot na poliedru, ki je robovno tranzitiven ima enako vrednost. To vključuje pet platonskih teles, štiri Kepler-Poisotove poliedre od katerih sta dva kvazipravilna in dva kvazipravilna duala.
[uredi]
Diederski kot med dvema ravninama lahko določimo takrat, ko je možno določiti pravokotni vektor na vsako ravnino. Eden izmed načinov je uporaba vektorskega produkta. Če so A1, A2 in A3 tri nekolinearne točke na ravninah A1, A2 in A3. Naj bodo B1, B2 in B3 tri nekolinearne točke na ravnini B. V tem primeru je UA = A2−A1 × A3−A1 je pravokoten na ravnino A ter UB = B2−B1 × B3−B1 je pravokoten na ravnino B.
Nepredznačen diederski kot se nato lahko določi iz
Naslednji način za določanje diederskega kota je v tem, da se vzame poljuben vektor V, ki ni tangenten na nobeno od dveh ravnin. Z uporabo Gram-Schmidtovega postopka za tri vektorje (A2−A1, A3−A1, V) dobimo ortonormalno bazo prostora. Tretji vektor je pravokoten na ravnino A. Če podobno naredimo še za vektorje (B2−B1, B3−B1, V), dobimo vektor, ki je pravokoten na ravnino B. Kot med tema dvema vektorjema se lahko določi s poljubno metodo za določanje kotov med vektorji. To se lahko posploši na višje razsežnosti.


.![\varphi = \operatorname{atan2} \left( |\mathbf{b}_2| \mathbf{b}_1 \cdot [\mathbf{b}_2 \times \mathbf{b}_3], [\mathbf{b}_1 \times \mathbf{b}_2] \cdot [\mathbf{b}_2 \times \mathbf{b}_3] \right)](http://upload.wikimedia.org/math/1/d/2/1d2501da82e12d611d17d84a23a357c6.png)
