Para que a razo entre os segmentos A e C seja um nmero racional D B

m , com n 0, n

deve existir um segmento de reta E que seja submltiplo comum dos segmentos AB F eC . D = m. E F =n. E F

A B
C D

Agora, iremos medir um segmento AB adotando uma unidade de medida u, pois queremos saber quantas vezes AB contm u, quando AB e u so comensurveis, temos: u = m. EF AB = n.EF , onde m e n so nmeros inteiros e positivos.
1 .u m
1 r n .u m

Se u = m. EF, ento temos que EF =

Agora substituindo EF em AB = n.EF, temos: AB = n. .u , ou ainda, AB = Se u a unidade de medida, ento podemos dizer que o segmento AB =
n m

Neste caso, AB =

7 7 .u. Ento: A = . B 4 4

Podemos ento concluir que quando h uma unidade de medida comum aos segmentos AB e CD a razo entre eles ser sempre um racional.