90
(2) △ABC の外接円と線分
0
IPの交点をEとする。 18a
ZEBI= ZIBC+ ZEBC
ここで,円周角の定理により
ZEBC= ZEAC
また,Iは内心であるから=
ZIBC= ZIBA
I
B
C
E
ZEAC= ZIAB P
C
よって
8GA5T A
の
ZEBI= ZIBA + ZIAB= ZEIB
したがって
また, ZIBP=90° であるから
EB=EI
ZEBP=90°- ZEBI
一
っ ZEPB=90°- ZEIB
よって
ZEBP= ZEPB
したがって
EB=EP
② ( 801
0, ② から
よって,△ABCの外接円は線分IPを2等分する。
EI=EP