Can you provide a proof for the claim given below? The following claim is inspired by [Harcourt's theorem][1] and can be seen as its generalization to quadrilaterals.

>**Claim**. Given any [bicentric quadrilateral][2] $ABCD$ with area $K$ and semiperimeter $s$ . Denote length of side $AB-a$ ,length of $BC-b$ , length of $CD-c$ length of $DA-d$ , length of diagonal $AC-p$ and length of diagonal $BD-q$. An arbitrary tangent line $t$ is constructed to the incircle of a quadrilateral . Let $n_1$,$n_2$,$n_3$,$n_4$ be a signed distances from the vertices $A$,$B$,$C$,$D$ to tangent line respectively, with a distance being negative if and only if the vertex is on the opposite side of the line from the incenter . Then $\frac{s}{p+q}\left(q(n_1+n_3)+p(n_2+n_4)\right)=2K$ .

[![enter image description here][3]][3]

GeoGebra applet that demonstrates this claim can be found [here][4].


  [1]: https://en.wikipedia.org/wiki/Harcourt%27s_theorem#cite_note-2
  [2]: https://en.wikipedia.org/wiki/Bicentric_quadrilateral
  [3]: https://i.sstatic.net/MRQ2D.png
  [4]: https://www.geogebra.org/m/varpxern