Cuvântul corolar provine din latinescul corollarĭum, din punct de vedere matematic înseamnă un adevăr originat ca urmare a unei teoreme. Este o propunere care nu trebuie verificată, deoarece se deduce foarte ușor din ceea ce este demonstrat. De cele mai multe ori, corolarul urmează imediat o teoremă.
Un exemplu de corolar în domeniul matematicii poate fi următorul: Ținând cont de teorema „În toate triunghiurile, unghiurile interne sunt egale cu 180º”. Corolarul A apare; 90º este suma unghiurilor sale acute. Corolarul B; Într-un triunghi nu poate exista mai mult de un unghi drept sau mai mult de un unghi obtuz.
Din punct de vedere cotidian, este ceva deductiv sau logic, ținând cont de o serie de fapte anterioare. Un exemplu în acest sens este „maimuțele au mai puțini păr decât un om”. Prin urmare, această teoremă este urmată de corolar; gorilele nu au foliculi de păr pe fețe.
