Оба угла - прямые и соответственно равны между собой.

ABC - угол при вершине вписанного треугольника у которого противолежащая сторона является диаметром описанной окружности - то есть ABC - прямоугольный треугольник с прямым углом B.

Для треугольника ABC1 нетрудно выразить квадраты сторон:
AB^2 = AB^2
AC1^2 = AC^2 + h^2 (по теореме Пифагора, где h - высота цилиндра)
BC1^2 = BC^2 + h^2 (также по теореме Пифагора)
то есть для этого треугольника выполняется  теорема Пифагора
AC1^2 = BC1^2 + AB^2
или  
AC^2 + h^2 = BC^2 + h^2 + AB^2
или 
AC^2 = BC^2 + AB^2
Поскольку ABC прямоугольный, то последнее равенство истинно, стало быть истинно и исходное предположение про прямоугольность ABC1

Так что см. первое предложение.