>>573
ABもBCも単位円の接線だから明らかってことにしちゃって良いんじゃないか?