AG⊥DC ptr ca AG⊥AD AG⊥AB ⇒ AG⊥(ABD) DC⊂(ABD) ⇒ AG⊥DC
AG⊥EF ptr ca AG⊥AD AG⊥AB ⇒ AG⊥(ABD) EF⊂(ABD) ⇒ AG⊥EF
HI⊥DC HI linie mijlocie in triunghiul ABG ⇒ HI II AG HI⊥(ABD) DC⊂(ABC) ⇒HI⊥DC
HI⊥EF de la pct anterior HI⊥(ABC) EF⊂(ABC) ⇒HI⊥EF
AG⊥BC AG⊥AB AG⊥AD AG⊥(ABD) BC⊂(ABD) ⇒ AG⊥BC