1) circular parts
推导球面直角形公式的大字形法则
2) gle spherical triangle
球面直角三角形
3) right spherical triangle
直角球面三角形
4) formal derivation method of programs
程序的形式推导方法
5) birectangular spherical triangle
两直角球面三角形
6) trirectangular sphericaltriangle
三直角球面三角形
补充资料：直角
见“角④”(1205页)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条