oh yes there is a logical reason, .
Any angle in a semicircle will be 90 degrees.
This is an extension of the theorem that:
Any angle on circumference subtended from an arc will always be half that as will be subtended to the centre.
(my wording may leave a little to be desired)
I knew AB was a diameter but I did not think to use the centre in my logic. 