It isn't true (see an example in the attachment)! But you are right (I mean your remarks).

is a cyclic quadrilateral (opposite angles are supplementary). (You can also prove this by using one of the right triangles you mentioned: .) So you know that if and only if and .