Угол наклона прямой равен тангенсу углового коэффициента прямой.
Это правда?

Угловой коэффициент прямой есть тангенс угла наклона прямой к положительному направлению оси ОХ.

Да. Если брать единицу, то угол будет 45 градусов. Если построить график y=x, то получится как раз угол в 45 градусов.