Ortsvektorn från (x0, y0, z0) till varje punkt (x, y, z) i normalplanet, det vill säga en vektor som ges av b = (x-x0, y-y0, z-z0), är (per definition) vinkelrät mot vektorn a och således är skalärproduktena⋅b=0. Se även Eric W. Weisstein, Normal vector (ekvation 4) på Wolfram MathWorld.
