Neka je ABC siljast. Neka je P poloviste AB, P' poloviste AC i S sjeciste simetrala stranica. BSO, d(PS) = d(P'S) iz pretpostavke zadatka. Iz teorema SSK> za APS i AP'S slijedi tvrdnja. Dokaz ide isto za pravokutni i tupokutni trokut.
Neka je ABC siljast. Neka je P poloviste AB, P' poloviste AC i S sjeciste simetrala stranica. BSO, d(PS) = d(P'S) iz pretpostavke zadatka. Iz teorema SSK> za APS i AP'S slijedi tvrdnja. Dokaz ide isto za pravokutni i tupokutni trokut.
_________________
"If the facts don't fit the theory, change the facts."
