(a) Letting the base angles in isosceles triangles AO1C and BO2D be x and y, respectively, the sum of the angles in quadrilateral ABDC is (90° – x) + (90° – y) + (180° – y) + (180° – x) = 360°, and we have
x + y = 90°. .... (1)
Hence, in ABDC, the angles at A and D add up to (90° – x) + (180° – y) = 270° – (x + y) = 270° – 90° = 180° and thus,
ABDC is cyclic. This proves (a).
(b) Let AC and BD when produced intersect at E. It follows from equation (1) that in triangle CED the angles at C and D add up to 90°. Thus, CED is a right-angled triangle with the right angle at E and AC and BD are in fact perpendicular.