一般論はともかく、演習と外接正多角形だけならtan x≧xで説明がつく