Ну, оба они прямоугольные, потом, сторона АБ пропорционально увеличена в 2 раза, используя теорему Пифагора, высчитаем, что в АБС гипотенуза равна 5, что тоже пропорционально в два раза меньше, чем в А1Б1С1. Поэтому третью сторону можно не проверять, доказав две.