PM PD + PE + PI
et, d’après le lemme précédent, quand les trois points P, D, C se confondent en un seul D , on a
j i QV
Donc on a
DR
DE
PM
DÏ
PD
DV DR
DR'
Le sens dans lequel on doit porter la longueur DR est indiqué par le signe final du second membre de l'équation.
Si DA est la bissectrice de l’angle EDT, la construction devient un peu plus simple; QV = DV ; m = i , et on a
dr = (dê + dï + '")-(dk +
