AE'が外接円の直径となるようE’をとると、DがHE'上にあることを示せばよい。
外心をOとおき、,
,
とおく。
とおくと、
かつ
を満たすのでH'は垂心Hである。ここで、
であるから、HとE'の中点をMとおくと、
であるから、MはDに他ならない。よって示された。
AE'が外接円の直径となるようE’をとると、DがHE'上にあることを示せばよい。
外心をOとおき、,
,
とおく。
とおくと、
かつ
を満たすのでH'は垂心Hである。ここで、
であるから、HとE'の中点をMとおくと、
であるから、MはDに他ならない。よって示された。