Dados (x1,y1) e (x2,y2) pontos pertencentes a reta r.

Tome a=

e b = y1 (

).x1

constantes reais. Queremos mostrar que qualquer ponto da reta r satisfaz a equao f(x) = ax+ b. com a e b escolhidos acima. Seja (x3,y3) um ponto de r em que x3 diferente de x1 e de x2. Pela colinearidade temos que = e portanto, f(x3) = .x3+ [y1 ( .x1] = .(x3 x1) + y1 = (cancelando x3 x1) = y3 y1 + y1 = y3. Logo, (x3,y3) pertence ao grfico da funo afim. E portanto, r o grfico da funo afim com a e b da forma acima.