ABC - прям. трикутник, де кут С = 90*
усі кути прямокутного трикутника лежить на колі.
кут С - вписаний кут, кут С = 90*, а отже він спирається на діагональ
пряма, яка лежить навпроти прямого кута в прямокутного трикутника - гіпотенуза
центр коли лежить по середині діагоналі, а одже центр вписаного кола лежить на середині гіпотенузи