(CJ/JA)(AK/KB)(AL/LB)(BM/MC)(BQ/QC)(CR/RA) = 1

を示す。
∠CBJ = ∠ABR なので
CJ/RA = 僂BJ/僊BR = (BC×BJ)/(BR×BA)
同様に AK/LB = (CA×CK)/(CB×CL)
AL/KB = (CA×CL)/(CB×CK)
BM/QC = (AB×AM)/(AC×AQ)
BQ/MC = (AB×AQ)/(AC×AM)
CR/JA = (BC×BR)/(BA×BJ)

なので、求める結果を得る。
一つ戻る   
戻る