∠EOG + ∠GOF
OEFG — трёхгранный угол
O
E
G
F
Доказательство:
I. Если EOF = EOG ⇒
∠EOF ≥ ∠EOG ≥ ∠GOF
∠EOF < ∠EOG + ∠GOF ⇒
∠EOF < ∠EOF + ∠GOF
II. Если EOF > EOG ⇒
1) Построим S ∈ EF, где ∠EOG = ∠EOS
S
и ∠ EOG < ∠ EOF
⇒ S находиться между E и F
2) R ∈ OG, где OS = OR ⇒ ⇒ ∠EOR = ∠EOS
R
(OE – общая, OS = OR — по построению, ∠EOG = ∠EOS) ⇒
⇒ ES = ER
3) EF < ER + RF,
где EF = ES + SF и ES = ER
⇒ SF < RF
4) ON — биссектриса ∠SOR
∆OSR — равнобедренный
O
N
F
S
R
OS = OR ⇒ ON — медиана и высота
SN = NR, ON ⏊ SR
⇒ ON ∩ ER
∠ROF = ∠RON + ∠NOF ⇒ ∠SOF < ∠ROF
∠EOF = ∠EOS + ∠SOF = ∠EOG + ∠SOF < ∠EOR + + ∠ROF = ∠EOG + ∠GOF
Что и требовалось доказать