Las áreas de los triángulos ABD y ACD son iguales por ser D el punto medio de BC, y estas áreas valen:
[ACD]= p r
[ADC]= p' r
p = p'
de donde:
AB+AD+BD = 2p = 2p' = AD+DC+AC. lo que implica que AB = AC