''証明''△ABCとその外接円(半径をRとおく)においてI0のとき線分BDが外接円の直径となるような点Dを外接円上に打つ.
''証明''△ABCとその外接円(半径をRとおく)においてI0