ひもの分け方

問　3mのひもを太郎と次郎とで分ける．太郎は次郎の2倍よりも30cm短い．次郎のひもの長さを求めなさい．

(解答)

　次郎のひもの長さをと置く．　　仮定

このとき，太郎のひもの長さはと表される．そして全体は次の方程式

　　∀-除去

で書ける．このようなについて方程式を解けば

　　⇒-導入

　i.e.　

である．この論証に仮定はないので，∀-導入を適用することができる．

　したがって

　　∀-導入

より，次郎のひもの長さは110cmであることがわかる．▢