【定理１４】

補足説明

これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。

【定理１４】定理１３で述べた変換の前後でロットの待ち時間の平均値は変化しない。

（証明）

• ロットの待ち時間は
  • 
• で表される。ここにはロットの処理開始時刻、は到着時刻である。
• よって、ガントチャートに全部で個のロットがあるとして、ロットの待ち時間の平均値は
  • 
• となる。
• 定理１３の変換は、を変化させない。さらに、を互いに交換しただけなので
  • 
• を変化させない。よってを変化させない。
• よって、定理１３で述べた変換の前後でロットの待ち時間の平均値は変化しない。

（証明終わり）

議論の継続

この【定理１４】は「搬送時間ありＧ／Ｄ／１のサイクルタイム定理」で使用されます。