「線分ABを直径」
三平方の定理