>>190
それでいい
直角三角形の外心は斜辺の中点