数値解しか出せなかったので質問します。

マイクロソフトの三角形はグローバルには存在する、
すなわち、大円距離で最長辺の長さ１０が，最長辺からの頂点への距離が６の球面直角三角形は存在する。

問題
大遠距離で最長辺の長さ１０が，最長辺からの頂点への距離が４の球面直角三角形の面積とその時の球の半径を厳密値で求めよ。