Thales lauselaskin

Kolmiossa ABC, jos D on [AB] ja E on [AC] ja (DE) rinnakkain (BC), sitten AD/AB = AE/AC. Syötä kolme pituus löytää neljäs.