Պտույտից հետո, OA=OA’, OB=OB’, իսկ <BOA=<B’OA’, հետևաբար ըստ եռանկյունների հավասարության երկրորդ հայտանիշի եռ․ AOB = եռ. A’OB’։ Այստեղից ել հետևում է, որ <ABO=<OB’A: Քանի որ նրանք խաչադիր անկյուններ են, հետևաբար AB || B’A’
BA=AD
BC=CD
AC ընդհանուր է, հետևաբար ըստ եռանկյուննեի հավասարության երրորդ հայտանիշի եռ․ ABC = եռ. ACD։ Հետևաբար՝ <BAC = <CAD
BD=BE,
CE=AD,
<BDA=<BEC
Հետևաբար եռանկյունի ABD=եռանկյունի CBE,
AB=BC,
Հավասարասրուն եռանկյան հիմքին առընթեր անկյունները իրար հավասար են <BAC=<BCA=<CAF,
Ըստ ուղղիների զուգահեռության առաջին հայտանիշի BC II AF:
AB=AC
Քանի որ AE=DE այստեղից հետևում է, որ <EAD = <EDA
Քանի որ DE II AB հետևաբար՝ AD ով հատելիս, <EDA = <DAB
Հետևաբարէ <DAB = <EAD, և այստեղից հետևում է, որ AD-ն CAB եռանկյան կիսորդն է, իսկ հավասարասրուն եռանկյան գագաթից տարված կիսորդը նաև բարձրություն է, այսինքն AD ուղղահայաց է BC
BO=OC,
AO=OC,
<CAB=116o
<AOB=<COD հակադիր անկյուններ,
AO=OD,
BO=OC,
Հետևաբար եռ. AOB=եռ. COD,
<ODC=<OAB,
Ըստ ուղղիների զուգահեռության առաջին հայտանիշի՝ AB || CD,
Ըստ ուղղիների զուգահեռության երրորդ հայտանիշի <ACD=180-116=64o
Պատ․՝ 64o