Так как треугольник АВС не только прямоугольный но и равнобедренный
(АС=ВС), то и углы АВС=ВАС и равны (180-90)/2=45 градусов.
Высота СО Треугольника АВС является также и биссектрисой и
медианой.
Рассмотрим треугольник АСО. Так как СО биссектриса угла АСВ,
то угол АСО=90/2=45 градусов.
Так как углы АСО=САО то треугольник АСО – равнобедренный, а
значит СО=АО= 4
Так как СО является медианой треугольника АВС то АС=АО*2=4*2=8