Пусть треуг авс подобен а1в1с1; пусть la and la1 - биссектрисы, исходящих из углов а и а1 соответственно. тогда, например, треуг авla подобен треуг. а1в1la1 (по двум углам а/2=а1/2 и в=в1). значит, ав/а1в1=la/la1. но ав/а1в1=вс/в1с1=ас/а1с1=la/la1 ч и т.д.
