ランキン主働土圧係数KAはtan2(45°―φ/2) あるいは で与えられる。両式が等しいことを示せ。ここに、φは土の内部摩擦角である。
[[三角関数(タンジェント)の定め方|三角関数]]より
・・・式1
式1右辺の分母分子に[[三角関数の加法定理|加法定理]]を適用すると、式1は次のようになる。
([[二倍角の公式|加法定理]])