Problem:
$ABCD$ is a tangential quadrilateral and $P$ is a point such that $$\dfrac{PB}{PD}=\dfrac{AB}{AD}=\dfrac{CB}{CD}.$$ Let $I_1$, $I_2$, $I_3$, $I_4$ be the incenters of $\triangle PAB$, $\triangle PBC$, $\triangle PCD$, $\triangle PDA$, respectively.
Proof that $I_1$, $I_2$, $I_3$ and $I_4$ are concyclic.
I have read this problem Prove that $ I_1, I_2, I_3, I_4 $ are concyclic, but it is not actually similar to my problem.
I suspect the problem has something to do with Apollonius circles (i.e., circle $PAC$), but I don't know how to use this information in any way. I cannot understand how Apollonius circles are connected to incenters.
Edit:
My analysis is that the problem clearly implies two cases: either $AC$ is the perpendicular bisector of $BD$, or $AB = CB$ and $AD = CD$ (a kite). The first case is trivial, since $I_1$, $I_2$, $I_3$, $I_4$ here forms a rectangular. The real difficult part of this problem is the second case.
Based on observations, I have made out the following results, but I cannot prove them. They may provide some clues for the original problem. I would appreciate it if anyone could help with these conjectures too:
Assume the outer and inner bisectors of $\angle BAD$ intersect $BD$ at point $M$ and $N$ respectively (so $M$ and $N$ lie on the Apollonius circle), then:
- $M$, $I_1$ and $I_4$ are colinear, likewise are $M$, $I_2$ and $I_3$;
- $N$, $P$, $I_1$ and $I_2$ are concyclic, likewise are $N$, $P$, $I_3$ and $I_4$.


Partial solution:
Well say $a=AB$, $b=BC$, $c=CD$ and $d=DA$, then we have $${a\over d} = {b\over c} =:t \implies a= dt \;\;\wedge \;\; b=ct$$
Since $ABCD$ is tangential we have $$a+c = b+d\implies d (t-1)= c(t-1)$$
From here we have two options: