Так как векторы единичные, роль их координат будут играть косинус и синус углов наклона этих векторов по отношению к горизонтальной оси.
Найдем эти координаты (по клеточкам):
Для нормали x=0, y=1
Скалярное произведение:
Разность векторов:
- что и требовалось доказать.