Scalar (dot) product of vertical vectors

x1*x2 + y1*y2 = 0
Find   It is known that:
      =