Pisteen etäisyys -todistukset: rakenne uusiksi

Yleisen kaavan todistusta yhdenmuotoisilla kolmioilla ei esitetä, vaan
siirretään harjoitustehtäväksi. Esimerkki on hyvä (ja siitä saadaan
parempi); vastaussivulle siirretty vihjeet todistuksen olennaisista
askeleista, joilla kaavan voi johtaa varsin suoraviivaisesti esimerkin
mukaan.

Jotta ei jäädä tyystin vaille valmiiksi esitettyä todistusta,
siirretään liitteeseen (melko tekninen) analyyttinen ratkaisu.

Comments? Onko pedagogisesti perusteltu?