MathDB
Prove that OI is perpendicular to AB (2)

Source:

October 28, 2010
geometrycircumcircletrigonometryGaussEulergeometric transformationhomothety

Problem Statement

Bisectors AA1AA_1 and BB1BB_1 of a right triangle ABC (C=90)ABC \ (\angle C=90^\circ ) meet at a point I.I. Let OO be the circumcenter of triangle CA1B1.CA_1B_1. Prove that OIAB.OI \perp AB.