Работим в стандартни означения. За лице на правоъгълен триъгълник имаме директна формула за ъглополовящата на правия ъгъл чрез катетите и тя е [tex]l_c=\frac{sqrt2 ab}{a+b}[/tex]. (Доказателство: Нека [tex]CC_1=lc[/tex] е ъглополовящата на правия ъгъл. Тогава [tex]S_{ABC} = S_{ACC_1} + S_{BCC_1} \Rightarrow \frac{ab}{2} = \frac{a.l_c.sin45^\circ}{2}+\frac{b.l_c.sin45^\circ}{2}[/tex] и след преработка достигаме до горния израз за [tex]l_c[/tex].).
Освен това [tex]2S=ab=c.h_c \Rightarrow hc=\frac{ab}{c} = \frac{ab}{sqrt{a^2+b^2}}[/tex]. По условие [tex]l_c = 4[/tex] и [tex]h_c = 3[/tex], следователно можем да съставим системата
[tex]\begin{array}{|l}\frac{sqrt2 ab}{a+b} = 4 \\ \frac{ab}{ sqrt { a^2+b^2 } } = 3\end{array}[/tex]
Тя е симетрична, затова я решаваме по стандартния начин за решаване на симетрични системи:
полагаме [tex]u = a + b, v = ab[/tex].
Еквивалентната система е [tex]\begin{array}{|l} \frac{sqrt2 v}{u} = 4 \\ \frac{v} { sqrt {u^2-2v} } = 3\end{array}[/tex]
Отговорът на нашата задача е [tex]S=\frac{ab}{2}=\frac{v}{2}[/tex], т.е. ни е необходимо да намерим само [tex]v[/tex].
От първото уравнение на системата изразяваме [tex]u=\frac{sqrt2}{4} v[/tex], т.е. [tex]u^2 = \frac{v^2}{8}[/tex]
(1).
Второто го повдигаме на квадрат и получаваме [tex]v^2 = 9(u^2 - 2v)[/tex]
(2).
Заместваме
(1) в
(2): [tex]v^2 = 9 (\frac{v^2}{8} - 2v)[/tex], което след опростяване се свежда до [tex]v^2 - 144v = 0[/tex] с корени [tex]0[/tex] и [tex]144[/tex], от които е ясно, че само [tex]v=144[/tex] е допустим. Тогава [tex]S = \frac{v}{2}=72[/tex].
ПС: Хубаво е все пак да сме сигурни, че има такива [tex]a[/tex] и [tex]b[/tex], които да удовлетворяват системата, защото понякога се срещат задачи, в които търсеният отговор може да се намери без да се намират всички отделни елементи, но след дорешаване се оказва, че те не могат да бъдат намерени (не са реални числа), т.е. такава геометрична конфигурация не съществува.
В случая трябва да сме сигурни, че системата за [tex]a[/tex] и [tex]b[/tex], произтичаща от намерените [tex](u; v) = (36sqrt2; 72)[/tex] има решение в положителни числа. Тъй като [tex]u = a + b[/tex], [tex]v = ab[/tex], то е ясно, че тези числа са корени на уравнението [tex]x^2-ux+v=0[/tex]
(*), т.е. за да има системата решение в положителни числа трябва [tex]\begin{array}{|l}u>0 \\ v>0 \\ D_{(*)}=u^2 - 4v\ge 0\end{array}[/tex].
Установяването, че и трите условия са изпълнени, е елементарно, т.е. такава геометрична конфигурация действително съществува. Ето обаче пример за задача, в която се оказа, че всъщност не съществуваше:
viewtopic.php?p=56088#p56088 .