QQQ は AAA の先の半直線 BABABA 上にあり、SSS は AAA の先の半直線 EAEAEA 上にあるので、∠TBQ=∠ABT\angle TBQ=\angle ABT∠TBQ=∠ABT、∠TES=∠AET\angle TES=\angle AET∠TES=∠AET となる。よって仮定 ∠ABT=∠AET\angle ABT=\angle AET∠ABT=∠AET から ∠TBQ=∠TES\angle TBQ=\angle TES∠TBQ=∠TES が得られる。前のステップの ∠BTQ=∠ETS\angle BTQ=\angle ETS∠BTQ=∠ETS と合わせると、角角相等(AA)により △TQB∼△TSE\triangle TQB\sim\triangle TSE△TQB∼△TSE となり、∠PQC=∠EST\angle PQC=\angle EST∠PQC=∠EST と QT/ST=TB/TEQT/ST=TB/TEQT/ST=TB/TE が得られる。