В моём учебнике и интернете есть доказательство теоремы для ненулевых векторов. Там же написано, что если хотя бы один из векторов a и b нулевой, то справедливость равенства
(a, b) = x1x2 + y1y2 очевидна.
Я не понимаю почему это очевидно, я вообще не понимаю как доказать, что равенство в этом случае верно
Очевидно, потому что у нулевого вектора нулевые координаты. И модуль. Поэтому слева ноль по обычному определению, а справа по этой формуле тоже ноль получается. Вот и всё доказательство