A′A'A′ を BCBCBC の垂直二等分線上で AAA と同じ側の BCBCBC にある OOO 上の点とし、N=A′Q∩CTN=A'Q\cap CTN=A′Q∩CT とおく。公式の構成における角の等式から △NCQ∼△TBP\triangle NCQ\sim\triangle TBP△NCQ∼△TBP および △CA′Q∼△SPX\triangle CA'Q\sim\triangle SPX△CA′Q∼△SPX を得る。