Уж я реших, махнах ползването на средната отсечка, макар и доказано.Ама дали е вярно, това вече е съвсем друг въпрос.
d1=d2 диагонали в правоъгълник, т.О ги разполовява
AO=BO=d/2
Pна ABO=a+2d/2=a+d
Нека означим AN=n,BN=m,ON=x,QN=y
тогава РнаАВN=m+n+a
a=a и при двата периметъра, следва да докажем, че m+n>d
От ?OBN имаме, че m > d/2 - x
От ? AON имаме, че n > d/2 - x
Събираме почленно двете неравенства
m+n>d/2 +d/2
m+n>d
m+n+a>d+a
РнаАВN>Pна ABO
Но наистина, ако N съвпада с О не е ли по-правилно да напишем неравенството във вида
РнаАВN?Pна ABO или Pна ABO?РнаАВN
BN е ъглополовяща на ъгъл АВС.Следователно ABN=CBN=90/2=45°
Допускаме, че N принадлежи и на AS -ъглополовящата на BAC
Тогава и BAN=90/2=45°
Тогава ABN е равнобедрен, а това не е вярно или поне е частен случай, в който правоъгълникът е квадрат и O?N
Следователно ?ABN не е равнобедрен и BAN не е 45°
AN не е ъглъполовяща и N не лежи на ъглополовящата на BAС