The power of a point $P$ with respect to a circle $O$ with radius $r$ is $\Pi(P)=\vert OP \vert^2 -r^2$ useful for orthogonal circles. related to [[Intersecting Chords, Secants, and Tangents theorem]]