Let ABC be a right-angled triangle with ∠B=900. Let D be a point on AC such that in-radii of the triangle ABD and CBD are equal. If this common value is r′ and if r is the in-radius of triangle ABC, then
Let E and F be the incentres of triangles ABD and CBD respectively.
Let the incircles of triangles ABD and CBD touch AC in P and Q respectively.
If ∠BDA=θ, we see that
r′=PDtanθ2=QDcotθ2
Hence,
PQ=PD+DQ=r′(cotθ2)=2r′sinθ
But we observe that,
DP=BD+DA−AB2,DQ=BD+DC−BC2
Thus,
PQ=b−c−a+2BD2. We also have
ac2=[ABC]=[ABD]+[CBD]=r′AB+BD+DA2+r′CB+BD+DC2
=r′c+a+b+2BD2=r′(s+BD)
But r′=PQsinθ2=PQ⋅h2BD
where h is the altitude from B on to AC.
But we know that h=acb.
Thus we get
ac=2×r′(s+BD)=2×PQ⋅h2×BD(s+BD)=(b−c−a+2BD)ca(s+BD)2×BD×b
This we get,
2×BD×b=2×(BD−(s−b))(s+BD)
This gives,
b2=s(s−b)
Since, ABC is a right angled triangle r=s−b
Thus we get BD2=rs
On the other hand, we also have [ABC]=r'(s+BD). Thus we get
rs=[ABC]=r'(s+BD).
Hence
1r′=1r+BDrs=1r+1BD