В учебнике Атанасяна определение биссектрисы треугольника тоже есть, так как оно отличается от опр.биссектрисы угла.Про сумму углов треугольника, совершенно верно, теорема несколько позже.А следствия из теорем ребенок, претендующий на высокий балл должен выводить. Хотя, идеи этих следствий, конечно, должен помнить.