\documentclass[12pt]{jsarticle}
\usepackage{amsmath,amssymb}
\pagestyle{empty}
\begin{document}
\setlength{\baselineskip}{22pt}
\begin{flushleft}
{\huge 6}
　空間内に原点$O$を中心とし半径1の球面$S$を考え，
$S$上の2点を$\displaystyle A \left( \frac{1}{2},0,\frac{\sqrt3}{2} \right)$，
$\displaystyle B \left( \frac{1}{4},\frac{\sqrt3}{4},\frac{\sqrt3}{2} \right)$とする．
$\displaystyle z=\frac{\sqrt3}{2}$で与えられる平面で$S$を切った切り口の円において，
$A$と$B$を結ぶ弧のうち短い方の長さを$l_1$とする．
また3点$O$，$A$，$B$を通る平面で$S$を切った切り口の円において，
$A$と$B$を結ぶ弧のうち短い方の長さを$l_2$とする．
このとき$l_1>l_2$を証明せよ．
\end{flushleft}
\end{document}
