My Python Solution

Assumed that p1p2, p3p4 are the diagonals, then they are the original bisector to each other and the vectors have 90° difference with the same length. And then the diagonals may also be p1p3/p2p4 or p1p4/p2p3 .