En trihedrisk vinkel er en del af rummet afgrænset af tre flade vinkler med et fælles toppunkt og parvise fælles sider, der ikke ligger i samme plan. Det fælles toppunkt O for disse vinkler kaldes toppunktet for den triedriske vinkel. Siderne af hjørnerne kaldes kanter, de flade hjørner ved toppunktet af en trihedrisk vinkel kaldes dens flader. Hvert af de tre par af flader af en trihedrisk vinkel danner en dihedral vinkel (afgrænset af en tredje flade, der ikke er inkluderet i parret; om nødvendigt fjernes denne begrænsning naturligt, hvilket resulterer i de nødvendige halvplaner, der danner hele dihedralen vinkel uden begrænsning). Hvis vi placerer toppunktet for en trihedrisk vinkel i midten af en kugle, dannes en kugleformet trekant afgrænset af den på dens overflade , hvis sider er lig med planvinklerne for den trihedriske vinkel, og vinklerne er lig med dens dihedrale vinkler.
Hver flad vinkel i en trihedrisk vinkel er mindre end summen af dens to andre flade vinkler. [en]
Summen af de plane vinkler af en trihedrisk vinkel er mindre end 360 grader.
BevisLad OABC være en given trihedral vinkel (se fig. 1). Overvej en trihedrisk vinkel med top A dannet af flader ABO, ACO og vinkel BAC. Lad os skrive uligheden:
Tilsvarende for de resterende trihedriske vinkler med toppunkter B og C:
Tilføjer vi disse uligheder og tager i betragtning, at summen af vinklerne i trekanten ABC er 180°, får vi
Følgelig :
Lad en trihedrisk vinkel angives (se fig. 2), α, β, γ - dens flade vinkler, A, B, C - dihedriske vinkler sammensat af vinklerne β og γ, α og γ, α og β.
Den første cosinussætning for en trihedrisk vinkel:
Den anden cosinussætning for en trihedrisk vinkel:
BevisLad OABC være en given trihedrisk vinkel. Lad os slippe perpendikulerne fra det indre punkt af den trihedriske vinkel til dens flader og få en ny polær trihedrisk vinkel (dobbelt til den givne). De flade vinkler af en trihedrisk vinkel komplementerer de dihedriske vinkler i en anden, og de dihedriske vinkler i en vinkel komplementerer de flade vinkler i en anden op til 180 grader. Det vil sige, at den polære vinkels plane vinkler er henholdsvis ens: 180 - A; 180 - B; 180 - C og dihedral - 180 - a; 180-p; 180-y
Lad os skrive den første cosinussætning til den
og efter forenklinger får vi:
, hvor α, β, γ er planvinklerne for den triedriske vinkel; A, B, C - modsatte dihedriske vinkler (se fig. 2).