Уколо вписано чотирикутник авсd. його протилежні сторони cd i ab, bc i ad продовжено відповідно до перетину в точках n i f. довести, що бісектриси кута bfa i кута and перпендикулярні.

∠DNF + ∠DFN = 180° - ∠NDF = 180° - ∠ADC;
∠BNF + ∠BFN = 180° - ∠NBF;
(∠DNF + ∠BNF) + (∠DFN + ∠BFN) = 2*180° - (∠ADC + ∠ABC) = 180°;
∠BNF = ∠DNF + ∠AND;
∠BFN = ∠DFN + ∠BFA;
(2*∠DNF + ∠AND) + (2*∠DFN + ∠BFA) = 180°;
(∠DNF + ∠AND/2) + (∠DFN + ∠BFA/2) = 90°;
K - точка пересечения биссектрис.
(∠DNF + ∠KND) + (∠DFN + ∠KFD) = 90°;
∠KNF + ∠KFN = 90°; => ∠NKF = 90°; чтд.