>>227
> どのような三角形にも外接する円がある
これはどのように証明する？
それと同じことを空間で行う。