Konstrukce úsečky s délkou odmocniny - Euklidova věta o výšce