【定理６a】

ファブ内物流の論理を求めて

補足説明

以下は、「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴとＴＵとＴＬは一定　の場合」で述べた定理の証明の一部です。証明は、「【前提a】」から始まっています。

【定理６a】Ｍ１における、ある「かたまり」の各ロットについて、S'_k=S_k+TLであれば、Ｍ１のその「かたまり」の最終ロットiは、Ｍ２においても「かたまり」の最終ロットである。

（証明）

  • 定理１aから、S'_{i+1}{\ge}S_{i+1}+TL。一方、仮定から、S'_i=S_i+TLなので、E'_i=E_i+TL。また、ロットiはＭ１において最終ロットであるので、S_{i+1}>E_i。これらの式から、S'_{i+1}{\ge}S_{i+1}+TL>E_i+TL=E'_i。よってS'_{i+1}>E'_i。よってロットiはＭ２においても「かたまり」の最終ロットである。

（証明終わり）

議論の継続

この【定理６a】は【定理７a】で使用されます。