有名なMicrosoftの入社試験問題
https://i.imgur.com/T66wS6Q.png
平面上では存在しないが、
「マイクロソフトの三角形は、グローバルに ありました。」
すなわち、球面三角形なら存在しうるということなので

問題　図での６，１０は大円距離としてマイクロソフト三角の半径８の球面上での面積を厳密解で求めて、それを数値で表示せよ。

エクセルのソルバーじゃ数値解なので厳密解を出したい。
まあ、最新版は知らないがエクセルのソルバーは信頼性が低くかった。

理工系卒ならばWolfram言語を使って算出できると思う（Fラン卒には無理みたい）。
俺はWolfram学習１年生なので、熟練者の答との照合を希望します。

自答
https://i.imgur.com/0zIDJ3n.png
スキルのある方の計算を期待します。