Množina bodů v rovině takových, že průsečíky přímek, vedených z daného bodu třemi pevně danými směry, se stranami trojúhelníka tvoří trojúhelník konstantního obsahu, je kuželosečka. Jsou zkoumány vlastnosti této kuželosečky. Výpočet je proveden pomocí teorie automatického dokazování a objevování vět
Množina bodů v rovině takových, že průsečíky přímek, vedených z daného bodu třemi pevně danými směry, se stranami trojúhelníka tvoří trojúhelník konstantního obsahu, je kuželosečka. Jsou zkoumány vlastnosti této kuželosečky. Výpočet je proveden pomocí teorie automatického dokazování a objevování vět (en)