Razišči spodnji prikaz; premikaj točko $M$ in ugotovi povezavo med dolžinami obarvanih daljic. Če je pretežko, uporabi ponujeno pomoč.
Če točko $M$ premikamo po daljici $AB$, ki je
premer
polkrožnice, je produkt dolžin daljic na premeru vedno enak
kvadratu
dolžine navpične daljice.
Višinski izrek: V pravokotnem trikotniku je produkt pravokotnih projekcij katet na hipotenuzo enak kvadratu višine na hipotenuzo. $$v^2=a_1\cdot b_1$$
Pri dokazu se bomo oprli na podobnost trikotnikov in razmerja stranic.
S pomočjo višinskega izreka lahko skonstruiramo daljice s korenskimi dolžinami. Spodaj je konstrukcija za $\sqrt{12}$, upoštevamo, da je $12=6\cdot 2$.