Так как векторы единичные, роль их координат будут играть косинус и синус углов наклона этих векторов по отношению к горизонтальной оси.
Найдем эти координаты (по клеточкам):




Для нормали x=0, y=1
Скалярное произведение:


Разность векторов:
- что и требовалось доказать.