With the points as labelled in the diagram, and are chords of the circle that intersect at . Therefore, by the intersecting chords theorem, the lengths of the segments satisfy:
Now, is the diagonal of the square with as side length, so is . This means that must be . Since is the diagonal of the square with as side, and is the diagonal with as side:
Lastly, triangle is right-angled since and are diagonals of aligned squares.