Seja a reta bissetriz dos ângulos agudos formados pelas retas e . Considere um ponto , cuja a distância à reta seja . Dessa forma, a distância da intersecção das retas e à projeção de sobre é