Odvození vzorce pro výpočet obsahu trojúhelníku.