Дано: PE = PK = KF, PF ⊥ KE.
Доказать: PE || KF.
Доказательство:
- Так как PE = PK, то треугольник PKE - равнобедренный, следовательно, углы при основании KE равны: ∠PKE = ∠PEK.
- Так как PF ⊥ KE, то PF - высота треугольника PKE, а значит, и биссектриса (в равнобедренном треугольнике высота, проведенная к основанию, является и биссектрисой). Следовательно, ∠KPF = ∠EPF.
- Рассмотрим треугольники PKF и EPK:
- PK = KF (по условию).
- ∠PKF = ∠PEK (доказано выше).
- PF - общая сторона.
Следовательно, треугольники PKF и EPK равны по двум сторонам и углу между ними (первый признак равенства треугольников).
- Из равенства треугольников следует равенство углов ∠KPF = ∠PEK.
- Так как ∠KPF = ∠EPF и ∠KPF = ∠PEK, то ∠EPF = ∠PEK.
- Углы EPF и PEK - накрест лежащие углы при прямых PE и KF и секущей KE. Равенство накрест лежащих углов является признаком параллельности прямых.
- Следовательно, PE || KF.
Что и требовалось доказать.
Ответ: доказано, что прямые PE и KF параллельны.