Izrek o podobnosti
Če imata dva trikotnika skladen en kot, stranici, ki ta kot oklepata, pa sta povečani v enakem razmerju, torej d(C,A') = k·d(C,A) in d(C,B') = k·d(C,B), sta trikotnika ΔABC in ΔA'B'C', podobna.
Računalniku prepustimo merjenje dolžin stranic in računanje razmerij. Na sliki enostavno spremljamo rezultate pri spreminjanju dolžin podaljšanih stranic, ko pomikamo rdečo točko na drsniku zgoraj.
Za dokaz tega izreka je dovolj, da skozi A' načrtamo vzporednico daljici AB in nato po Talesovem izreku ugotovimo, da točka B' leži na presečišču te vzporednice s poltrakom p(C,B).
Podoben izrek poznamo tudi pri skladnih trikotnikih, omogoči pa nam hitreje priti do podobnih trikotnikov. Primer uporabe pa lahko vidimo na naslednji sliki.