@Hannibal さん
そう言えば、解答をいつオープンにするか、明確にしていませんでしたね。

実は、流れだけ見て、証明の詳細確認はしていません。申し訳ないm(__)m。

@Hannibal さん
私が持っている解答は、新高1の方が解いたものです。一目では、証明されているか追い切れません。また、そのような解答を、新高1の方が示したことに吃驚でした。

https://twitter.com/aburi_roll_cake/status/1234767559246827522

@Hannibalさん
ご指摘の通り！お恥ずかしい。

@Hannibalさん
少し話がズレちゃいましたかね。

でも成立するということです。

作業量は、圧倒的に増えますが(笑)。

@Hannibalさん
大げさに悩むことはありません。

ダブルクォーテーションの間を眺めていると、

「10枚は表が、90枚は裏が上」でなく、「28枚は表が、72枚は裏が上」という出題だったら、悩みは深まるのかなあ、と思案中です。

@Hannibalさん
この書き方だと、別解も存在しますね(笑)。

@Hannibalさん
正解です。

@Hannibalさん
反則ではありません。取り急ぎ。