(אולי זה משהו שהפותר לא יכול להסתמך עליו). אפשר ככה:
r =
2ab / 2(a+b+c) =
[(a+b)^2-(a^2+b^2)] / 2(a+b+c) =
[(a+b)^2-c^2] / 2(a+b+c) =
[(a+b+c)(a+b-c)] / 2(a+b+c) =
(a+b-c) / 2
ממשפט פיתגורס נובע ש- a+b ו-c הם בעלי אותה זוגיות, וסיימנו.
אפשר גם להראות ש - r=(a+b-c)/2 בלי חישובי שטחים ובלי משפט פיתגורס: הניצב a מתחלק ע"י נקודת ההשקה לשני חלקים שאורכם r ו- a-r, הניצב b מתחלק לשני חלקים שאורכם r ו- b-r, והיתר מתחלק לשני חלקים שאורכם a-r ו- b-r. לכן
c = a-r+b-r = a+b-2r
r = (a+b-c)/2
השטח הירוק שווה לשטח הצהוב וסכומם שווה ל c*r
השטח האדום שוה ל r^2
שטח המשולש כולו שווה ל a*b/2
ולכן
r^2+c*r -a*b/2 =0
זו משוואה ריבועית עם הנעלם r שהפתרון החיובי שלה הוא ( יש להשתמש גם במשפט פיתגורס ש a^2+b^2=c^2)
r = (a+b-c)/2
כיוון ש a b c זה שלשה פיתגורית אז או כולם זוגיים או רק 1 מהם זוגי ולכן a+b-c זוגי -> r שלם.