Solution 1:
We begin with the following lemma:
Lemma: Let XYZ be a triangle with
∠XYZ=90+α. Construct an isosceles triangle XEZ, externally on the side XZ, with base angle.
Then E is the circumcentre of
ΔXYZ.
Proof of the Lemma: Draw ED
⊥XZ.
Then DE is the perpendicular bisector of XZ. We also observe that
∠XED=ZED=90−α .
Observe that E is on the perpendicular bisector of XZ.
Construct the circumcircle of XY Z. Draw perpendicular bisector of XY and let it meet DE in F.
Then F is thecircumcentre of
ΔXYZ. Join XF.
Then
∠XFD=90−α.
But we know that
∠XED=90−α. Hence E = F.
Let
r1,r2 and r be the inradii of the triangles ABD, CBD and ABCrespectively. Join PD and DQ. Observe that
∠PDQ=90o. Hence
PQ2=PD2+DQ2=2r21+2r22:
Let
s1 = (AB + BD + DA)=2. Observe that BD = ca=b and AD =
√AB2−BD2=√c2−(cab)2=c2/b.
This gives
s1 = cs=b. But
r1=s1 c = (c=b)(s b) = cr=b. Similarly,
r2 = ar=b.
Hence
PQ2=2r2(c2+a2b2)=2r2Consider
ΔPIQ. Observe that
PIQ=90+(B=2)=135.
Hence PQsubtends
90o on the circumference of the circumcircle of
ΔPIQ. But we have seen that
∠PDQ=90o.
Now construct a circle with PQ asdiameter.
Let it cut AC again in K.It follows that
∠PKQ = 90 and thepoints P, D, K, Q are concyclic.
We also notice
∠KPQ=∠KDQ=45oand∠PQK=∠PDA=45o.
Thus PKQ is an isosceles right-angled triangle with KP = KQ.
∴KP2+KQ2=PQ2=2r2 and hence KP = KQ = r.
Now
∠PIQ=90+45and∠PKQ=245o=90o with KP = KQ = r.
Hence K is the circumcentre of
ΔPIQ.
(Incidentally,
This also shows that KI = r and hence K is the point of contact of the incircle of
ΔABC with AC.)
Solution 2:
Here we use computation to prove that the point of contact K of the incircle with AC is the circumcentre of
ΔPIQ.
We show that KP = KQ = r.
Let
r1andr2 be the in radii of triangles ABD and CBD respectively.
Draw
PL⊥ACandQM⊥AC.
If
s1 isthe semiperimeter of
ΔABD, then
AL=s1BD.
But
s1=AB+BD+DA2,BD=cab,AD=c2bHence
s1 = cs=b.
This gives
r1=s1−c=cr/b,AL=s1BD=c(sa)=b.
Hence
KL=AKAL=(s−a)−c(s−a)b=(b−c)(s−a)b.
We observe that
2r2=(c+ab)22=c2+a2+b22bc2ab+2ca2=(b2ba−bc+ac)=(b−c)(b−a).
This gives
(s - a)(b- c) = (s -b + b -a)(b- c) = r(b -c) + (b -a)(b- c)
= r(b-c) +
2r2 = r(b-c + c + a-b) = ra.
Thus KL = ra=b.
Finally,
KP2=KL2+LP2=r2a2b2+r2+c2b2=r2.
Thus KP = r.
Similarly, KQ = r.
This gives KP = KI = KQ = r and therefore K is the circumcentre of
ΔKIQ.
(Incidentally, this also shows that
KL=ca=b= r2 and KM =
r1.)