の前に
この記事は
AMC day12
の記事です.他の人の記事もまだ見ていない人はぜひ見てね
昨日の記事です→
https://mathlog.info/articles/4Evp3cj3NgKGWx6tp53P
はじめに
突然ですが、みなさんはこの問題を知っていますか?
これは1990年の国際数学オリンピック第3問として出題された問題です
この問題、3番級であるように非常に難しいのは勿論ですが、何と言っても主張がめっちゃシンプルで綺麗ですよね(ね!!!)
このようなシンプルな問題は,主張を読むだけでも面白い!と感じると思います
ということで(?)今回の記事ではこのようなシンプルな問題をたくさん(100問)集めました
- 海外のコンテスト(ISL APMO TST等)のネタバレ(問題だけ)を含みます
- ほとんどAoPSから取ってきているので、訳が間違っている可能性があります(指摘お願いします)
- ほとんどNです(問題がぱっと見で理解しやすい
ので選びやすい) - ほとんど一行問題です(
翻訳が楽) - 順番は大体ランダムです
- 解説は載っけてません(出典書いているので探してください)
- 良問かどうかは保証しません あくまでも見た目の芸術点の高さ
- けっこう長いよ
できるだけ有名でないものを集めてます
ただ問題を載せるだけではあれなので各問題に一言コメントを載せてます
問題を見て面白い!と感じてもらうのが主旨なので解く必要は全く無いです(が、勿論解いたほうが力になります)
自分のお気に入りの問題を一つ決めるというのも面白いと思います
マスターデーモンあるある:IMOで出題された1990年は日本が初めてIMOに参加した年
#1~20
1998 APMO
より小さいすべての正整数がを割り切るような最大の整数を求めよ
競技数学ないない:APMOとAoPS混ざりがち
2000 ISL N6
異なるいくつかの平方数の和として表せない正整数の集合は有限であることを示せ
AoPSの議論を見てみたところ「いくつか」は多分一つ以上の意
そこそこ有名(?)ですがこれ成り立つのか!と感動したので載せました
2007 Korea National Olympiad
すべての正整数に対して以下の素数すべての積はより小さいことを示せ
この大会2日あるんですね
2020 Romanian Master of Mathematics SL
とがともに平方数となる正整数は無限に存在することを示せ
この問題含め、はオイラー関数、はの正の約数の個数とします(原文は書いてあったけど略した)
裏切られた3乗君...
2017 All-Russian Olympiad
自然数からなる単調増加な無限数列であって,異なる数の和すべてが異なる数の和すべてと互いに素であるようなものは存在するか.
この大会gradeが9~11まであるんですがどういう意味なんだろう
これ翻訳にけっこう悩みました
日本の競技数学では最大公約数にを使わないですよね(つまりを省略した形) 海外ではたまに見る
2019 Caucasus MO
最小公倍数が平方数となるようなつの連続した正整数は存在するか
これかなり主張が綺麗で芸術点高い
2019 Middle European MO
正整数はのすべての約数の平方和がに等しいとする.このときを満たすつの添字が存在することを示せ(はフィボナッチ数列)
めっちゃ非自明
2006 France TST
はすべての正整数に対してがの倍数であるような正整数とする.を示せ
この型,この記事ではよく出てきます
無平方とは平方因子を持たないことです(squarefree)
関連としてはすべてのに対して平方因子を持ちます へぇ〜
競技数学の中で一番短い問題だと思います しらんけど
2007 Balkan MO
が有理数となる集合の置換が存在するような正整数をすべて求めよ
見た目の圧
2011 Romania TST
が差がであるつの約数を持つような正整数が無限に存在することを示せ
Romania TSTは結構良問(芸術点が高いの意)が多いです
2021 ISL
は正整数の範囲で高々有限個しか解を持たないことを示せ
この問題を提案した人によると原案はを求めさせる問題だったらしい
2002 CentroAmerican
正整数の無限集合のうち,すべてのに対しての個の異なる要素をどのようにとってもが平方数とならないものを一つ求めよ
AoPSを漁っていると平方数はで書かれていたのでただのは平方の意味なのかな
2016 Benelux
を正整数とし,その正の約数をそれぞれの和が素数となるようにつ組に分けることができるとする.それらの素数は異なり,の約数でないことを示せ
ベルギー、オランダ、ルクセンブルクの3ヵ国をベネルクス3国という 聞き覚えがあるようなないような
本選1番くらい?
#21~40
ガチ不定方程式ですね
!?
2021 Middle European MO
を進法で表記したときに桁にとしか含まないような正整数が無限に存在することを示せ
ほんとに無限にあるのか?と思ってしまう
2014 Belarus TST
の最大の素因数がの最大の素因数と等しいような正整数が無限に存在することを示せ
考え中
2004 China TST
任意の整数に対してがで割り切れないような素数が存在するとき,正整数をすべて求めよ
型その② AOPSによれば後述の問題91よりむずいらしい
2013 Balkan MO SL
を整数とする.かつを満たす整数が存在する必要十分条件はがを割り切ることを示せ
誰か2013 Balkan MO SL のN問題全完タイムアタックしません?僕はまだ完です
2009 Dutch TST
すべての辺の長さが同じで,すべての頂点の座標が有理数である角形がある.は偶数であることを示せ
正角形だと思いこんでたらそうとは限らなくて話変わってきた
2016 Romania TST
を正整数とし,を互いに異なる正整数とする.を示せ.
ただしはの最小公倍数である
は普通に使われる記号なんでしょうか
2007 IMO
を正整数とする.がを割り切るとき,であることを示せ
<裏話>この問題、アレを使うことで有名な問題ですが、実は2007年のSLPにはこの問題は無く、元々は次の問題が提案されていました
問題29のヒントになるので注意
2007 ISL N7
を正整数とする.がの形で表される約数を持つことの必要十分条件はが偶数であることを示せ
この問題は問題29の公式解答にLemmaとして使われたそうです IMOやばい2001 Austrian-Polish
を正整数とし,で定義される数列を考える.各について,内のすべての整数からなる集合を求めよ
この記事書くまでずっとオーストラリアだと思ってた
2009 ISL
をより大きい異なる整数とする.が平方数とならない正整数が存在することを示せ
ぱっと見いけそうですね←← ちなみに7番目(一番むずい)です
へー意外 マスターデーモンをずらしただけなのに(?)
2008 Middle European MO
すべての整数に対してとが共通の約数を持たないようなをすべて求めよ
流石には除くと思う
2005 Korea Final
個以下の平方数の和として一意に表現できる自然数をすべて求めよ
P1ですが結構むずい
2022 Caucasus MO
より大きく互いに異なるを用いてと表せる正整数が無限に存在することを示せ
「m」って打っただけで予測変換に「無限に存在することを」が出てくるようになった
2005 Austrian-Polish
を満たす素数と自然数が存在するような最小の自然数を求めよ
「natural number」が「自然数」なの、めっちゃ直訳だなぁと感じた
めっちゃOMCに出てもおかしくないですね エスパーは出来ちゃいますが...
噂の省略したやつです
2018 European Mathematical Cup
を
を満たすより大きい正整数とする.このことからとなるか.
"This is a tetration operation, so we can also writefor the initial condition."と書かれていました テトレーション
2013 Balkan MO SL
を整数とする.を満たす正の有理数からなる数列をすべて求めよ
非自明解あるんですかね 解いてないので気になる
#41~60
Komal A Problems 2021/2022
海外の整数問題あるある:7割はsuch that言ってる
2005 ISL
で,を満たす整数が一意に存在するような正整数をすべて求めよ
ISLってやっぱり良問なんですね
2015 Middle European
正整数の組のうち,が整数となるようなより大きく互いに素な整数が存在するものをすべて求めよ
ここにきてようやくEuropeanのスペルを間違っていた事に気づき,今までのを全部直しています(eをiにしてた)
一つくらい平方数でもおかしくないけど存在しないのえぐい
MONTにあるらしい
2003 China TST
を正整数とし,とする.の取りうる整数値をすべて求めよ
China TSTも芸術点高いのが多いです.特に具体的な数値は出せないけど存在する系が多い
2007 Balkan MO SL
正整数からなる無限等差数列であって,あるが存在して任意の素数に対してその数列の番目も素数となるものをすべて求めよ
こういう問題でって書いてあるやつ見かけない
この大会のP20を後で自分が解く用にメモしておきます
これ好き
2004 Czech-Polish-Slovak Match
任意の自然数について,がを割り切り,がを割り切り,がを割り切るような異なる素数の組が高々有限個存在することを示せ
Polishってポーランドのことだったんですね Czechはチェコ
2014 ELMO SL
関数がすべての正整数に対してであるとき,は飽和である.すべての飽和な関数に対してを満たす正整数をすべて求めよ
ELMOあるある:ELMOの説明がAoPSの2015年のタイトルの下に小さく書かれているだけ
2009 Middle European MO
以下の異なる正整数のすべての組に対してがで割り切れないような整数をすべて求めよ
一日中書いていたら充電そろそろ切れそう 続きの執筆は明日の自分頑張ってくれ〜
2007 China TST
平面上に個の点がある.を満たす点が存在することを示せ
唐突な幾何(なのかな?) ちなみにまだ今日の僕です
2019 Middle Euopean MO
をを満たす正整数とする.はを割り切らないことを示せ
こういう一次(各変数に対して)の整数問題で難しいのを作れるのはほんとにすごいと思った
2011 China TST
を任意の正整数とするとき,が合成数となる正整数が無限に存在することを示せ
このは関数ではないですよ
2009 Korea National Olympiad
すべての正整数に対して,はを割り切らないことを示せ
これも意外だった
2016 Czech-Polish-Slovak Match
すべての非負整数に対し,を満たしとなる整数が存在することを示せ
出たこのチェコポーランドスロバキアマッチ
P56を少し考察すればこの問題が完全上位互換
2014 Romania TST
と互いに素な以下のすべての正整数が素べきとなるような正整数をすべて求めよ
Romaniaの代表選考合宿一日問じゃないの紛らわしすぎる
2011 China TST
を任意のすべての正整数の置換とする.となる正整数が無限に存在することを示せ
すべての正整数の置換とかいうパワーワード キリがいいので続きは明日の自分に託します
#61~80
2020 Baltic Way
がを割り切るような正整数が無限に存在することを示せ
明日の自分です 終わるかな〜
解いてないので分からないが拡張出来そう
2013 Benelux
a)以下の性質を持つ正整数をすべて求めよ:
各奇素数に対してがとを割り切るような正整数が存在する
b)以下の性質を持つ正整数をすべて求めよ:
各奇素数に対してがとを割り切るような正整数が存在する
型③こちら側からするとコピペするだけなので楽
2013 Balkan MO Shortlist N問題あるある:全部一行問題
多分同じ国がこの問を提案したんですがどちらも採用されず可哀想でした
2016 Japan TST
である素数の組であって,をみたすものをすべて求めよ
Japan TSTあるある:Contest CollectionsのTST欄に載っていない
唐突な幾何2 どんくらいだと思いますか?
2020 USAMTS
以下の性質を持つ正整数をすべて求め,条件を満たすことを証明せよ:正の約数をちょうど個持つの倍数が高々有限個しかない
こう見るとコンテストってめっちゃあるんですね(今更)
2003 BAMO
整数は以下の性質を持つ:すべてのの(正の)約数に対して,がの約数である.は素数であることを示せ
BAMOはUSA Contests→Other Middle and High School Contestsから見れます
OMCにありそう2
ISL最短の問題 しらんけど
2016 USA TST
をの進表現とする.任意の正整数に対しての少なくともつはに等しいことを示せ
任意のについて成り立つんですかね
こういう議論好き 解いてないけど
1990 ISL
進法で桁がであり桁がであるすべての自然数が素数であるような自然数をすべて求めよ
Longlistでは98番目でした むずすぎ
誤読に気をつけようね
2年ぶりの再会
2014 Romania TST
を非負整数,を奇数の自然数とする.が少なくとも個の異なる素因数を持つような自然数が存在することを示せ
Romania TST流石に載せ過ぎな気がしているが許してください
2016 USAJMO
が進法でが個連続するような正整数が存在することを示せ
USAJMOあるある:2020年がUSOJMO
2014 CentroAmerican
正整数の正の約数すべてに対してが素数であるとき,はな数である.正の約数の個数が最大となるな数をすべて求めよ
答えが出た人へ
ではないですよ
2007 Argentina TST
をの正の約数とし,とする.のとき,のとりうる値をすべて求めよ
OMCにありそう3 The 求値みたいな問題もTSTで出されるんですね
そろそろ書くことがなくなってきています
#81~100
2016 Russian TST
任意の有理数は和がとなるつの有理数の積で表せることを示せ
ええなんだそれ こんなん成り立つのか
2006 China TST
任意の正整数に対してが少なくとも個の異なる素因数を持つ正整数が常に存在することを示せ
Chinaこういうの多い
僕は見たことあったんですがこれISL出典だったんですね
2008 Canada National Olympiad
自然数に対して定義され自然数値を取りうる関数であって,すべてのとすべての素数に対して
を満たすものをすべて求めよ
ありそうで無かったやつ
2007 USA TST
すべての正整数に対してがを割り切らないような正整数は存在するか
型④
2018 Putnam
がを割り切り,がを割り切り,がを割り切るような正整数をすべて求めよ
Putnamから一問 は?というツッコミはなしで
こういう問題大体最初(ネタバレ)が刺さりがち そういえば言及を一文字にしたやつなんて打てば出てきますか
1995 ISL
を奇素数とする.が非負実数の中で最小の値を取るときの正整数を求めよ
奇素数の条件が意味不すぎる
ISLあるある:1995年だけ分野が"Algebra"と"Geometry"と"NT,Combs"と"sequences"になってる
2017 China TST
ある平面に正十二面体の頂点がないとき,その平面が正十二面体と交差する辺は最大でいくつあるか
唐突な幾何③ dodecahedronとか人生で初めて見た
2003 ISL
を素数とする.すべての正整数に対してがで割り切れないような素数が存在することを示せ
型⑤
長すぎて重くなってきた 残り問なので頑張れ〜
2020 IOM
の各桁がより大きく,の各桁がより小さいような正整数は存在するか
International Olympiad of Metropolisesです
作問者絶対「じゃん!他にもあるのかな?」で作っただろ
2014 Middle European MO
整数に対し, を以下で定義する.
正整数の組のうち,それに対応するが整数となるものをすべて求めよ
bibinominal coefficientの訳が二項係数なので英語のままにした
2018 USA TST
を正整数とし,をの正の約数の和とする.と互いに素な正整数のうち番目に小さいものは以上であることを示し,また等しくなるときのを求めよ
意外と今まで約数関数が出てきていなかったという
既視感がある人は多分OMC018(F)のこと
2007 China TST
とからなる数列であってを満たすものが存在するような正整数をすべて求めよ
つまりまでの平方数を足し引きしてにすることができる
2020 Irish Math Olympiad
すべての頂点間の距離が整数となる六角形が存在することを示せ
唐突な幾何④ ほんとに存在するんか?
ただの典型問題じゃん...と思った方、これを英訳すると...?
"How many zeros are at the end of "
驚いてるみたいでちょっと面白くないですか?
おわりに
ここまで読んでくださった方、本当にお疲れ様でした!(かなり長くなってしまいすみません...)
みなさんのお気に入りの問題は見つかりましたか?僕のお気に入りはが無平方のやつです
これを機に整数を好きになっていただけたら嬉しいです
今回の記事は以上です 来年もよろしくお願いします〜