Утверждение
Биссектрисы внутренних односторонних углов при параллельных прямых и секущей перпендикулярны.
Дано: AB||CD, FK — секущая,
FE — биссектриса угла BFK,
KE — биссектриса угла FKD
Доказать: FE⊥KE
Доказательство:
∠ BFK+∠FKD=180° (как сумма односторонних углов при параллельных прямых AB и CD и секущей FK).
Так как FE — биссектриса угла BFK, то
Так как KE — биссектриса угла FKD, то
Рассмотрим треугольник FKE. По теореме о сумме углов треугольника
а значит,
то есть FE⊥KE.
Что и требовалось доказать.