Зовнішній кут трикутника, прямокутний трикутник, сума кутів трикутника