Can you summarize the following document?
        
  洛必達法則可以求出特定函式趨近於某數的極限值。令formula_1(擴充套件實數),兩函式formula_2在以formula_3為端點的開區間可微,formula_4,並且formula_5。  如果 formula_6 或 formula_7 其中一者成立,則稱欲求的極限formula_8為未定式。  此時洛必達法則表明:  formula_9。  對於不符合上述分數形式的未定式,可以通過運算轉為分數形式,再以本法則求其值。以下列出數例:  注意:不能在數列形式下直接用洛必達法則,因為對於離散變數是無法求導數的。但此時有形式類近的斯托爾茲-切薩羅定理(Stolz-Cesàro theorem)作為替代。

  下面僅給出 formula_10 的證明。  設兩函式formula_11及formula_12在a 點附近連續可導,formula_13及formula_14都在 a 點連續,且其值皆為 0, 為了敘述方便,假設兩函式在 a 點附近都不為0。另一方面,兩函式的導數比值在 a 點存在,記為  由極限的定義,對任何一個formula_17,都存在formula_18,使得對任意的formula_19,都有: 而根據柯西中值定理,對任意的formula_19,都存在一個介於formula_22和formula_23之間的數formula_24,使得: 因此,
洛必達法則(,英語:L'Hôpital's rule)是利用導數來計算具有不定型的極限的方法。該法則以法國數學家紀堯姆·德·洛必達的名字命名,但事實上是由瑞士數學家約翰·伯努利所發現。