Ma il disegno di veciorik non è una dimostrazione, è una conseguenza!
Testo nascosto, fai click qui per vederlo
Denominiamo i vari circoletti con $A, B, ..., O, P$ da sinistra a destra e dall'alto in basso.
Avremo il triangolo grande $ALN$ e il quadratino $FGKJ$.
Chiamiamo $S$ il punto di intersezione tra $LA$ e $FG$ e chiamiamo $T$ il punto di intersezione tra $LA$ e $GK$.
Le rette $AD, EH, IL, MP$ sono un fascio di parallele? Sì
Le rette $LD$ e $LA$ sono due trasversali tagliate da un fascio di parallele? Sì
È vero che $DH=HL$? Sì
È vero perciò che le tre parallele $AD, EH, IL$ dividono il segmento $LD$ in due parti uguali? Sì
E quindi, in forza del teorema di Talete, è vero che le stesse tre rette dividono in parti uguali il segmento $LA$? Sì
E quindi il punto $S$ è il punto medio di $LA$? Sì
Se $S$ è il punto medio di $LA$ allora la sua ascissa sarà $3/2$ (perché $(3+0)/2$) e la sua ordinata sarà $2$ (perché $(1+3)/2$), ma guarda caso queste sono anche le coordinate del punto medio di $FG$ quindi $SG$ misura $1/2$.
Soddisfatto?
Cordialmente, Alex