Եռանկյուններ
<A > <B > <C=>BC>AC<AB
<A=<C, <OAC=<OCA=>∆AOC(հավասարասրուն է)
CD=AA1, <DCA=<CAA1, <A1AB=<CDA, <DCA=<ADC, <CAA1=<A1AB=>AD=AC(հավասարասրուն եռանկյուն)
D||AC, <DAC=<EDA(Խաչադիր անկյուններ), <EAD=<ADE=>∆AED(Հավասարասրուն է)
<A > <B > <C=>BC>AC<AB
<A=<C, <OAC=<OCA=>∆AOC(հավասարասրուն է)
CD=AA1, <DCA=<CAA1, <A1AB=<CDA, <DCA=<ADC, <CAA1=<A1AB=>AD=AC(հավասարասրուն եռանկյուն)
D||AC, <DAC=<EDA(Խաչադիր անկյուններ), <EAD=<ADE=>∆AED(Հավասարասրուն է)