a) ABC^ = 180° - 2 alfa
ACB^ = 180° - ( alfa + 180° - 2 alfa ) = 180° - 180° + alfa = alfa
e così per il teorema inverso ABC é isoscele.
b) CD é un cateto di CDB. Allora é minore dell'ipotenusa CB
che é congruente ad AB : CD < CB = AB => CD < AB
c1) Se alfa = 30° anche ACB^ = 30° mentre dal triangolo rettangolo ACD
ACD^ = 180° - 90° - 30° = 60° per cui BC divide ACD^ in 30° e 60° - 30° = 30°
e allora ne é la bisettrice;
c2) Viceversa, se BC é la bisettrice di ACD^, allora BCD^ = ACD^ = alfa
per cui nel triangolo rettangolo ACD risulta
alfa + (alfa + alfa) + 90° = 180° => 3 alfa = 90° => alfa = 30°.