

Հայտնի է — AB = A1B1, AC = A1C1
Ըստ եռակյան առաջին հայտանիշի, եթե երկու եռակյան կողմերը իրար հավասար են, հետևաբար երրորդ կողմերն էլ են հավասար, այսինքն CB = C1B1, ΔABC = Δ A1B1C1

Եռակյունները կիսելով մեզ միայն հաըտնի է լինում, որ CB = C1B1
CB — ի հակադիր կողմը CP, այսինքն CP = C1P1
Մեզ հայտնի է , որ եռակյան երկու կողմերը իրար հավասար են, հավանաբար հավասար է և երրորդը` PB = P1B1


AO = OC
B կետը տարված ուղղահայացն է, կարելի է ասել
Մեզ արդեն հայտնի է, որ երկու կողմերը հավասար են և ըստ եռանկյան հայտանիշի երրոդը նույնպես հավասար է: