,
という二等辺三角形を考えると、与式は
となり、
は連続関数で
,
であり、
のとき三角形は存在するから与式は1以上2未満の値を取りうる。
以下、これ以外の値をとらないことを示す。
より 1≦(与式) であり、
三角不等式より ,
,
なので
より(与式)<2 である。
問題 [39] 東工大 2011 AO 問2 改題#不等式bot #InequalityBot pic.twitter.com/pYjZaEQyu4
— 不等式bot (@Inequalitybot) 2026年5月4日
(与式)
また、