【未解決】この本は何ページの本か?

※記法については『算数の問題文の記法のまとめ【随時更新】 - 算数の問題文の記法を考える』を読んでください。


【1999年度ジュニア算数オリンピックトライアル問題13問目】
 ある本をたろう君は1日目35頁、2日目40頁、3日目45頁と5頁ずつ増やして読んでいったら読み終わった日は35頁ですみました。同じ本を花子さんは1日目45頁、2日目50頁、3日目55頁と5頁ずつ増やして読んでいったら読み終わった日は40頁ですみました。この本は何頁の本ですか。


【記法化】

pages_Aは自然数;
pages_Bは自然数;
pages_A == pages_B;

記録1;
実行;

i := 0;

実行;

while(pages_A != 35) {
    pages_A -= (35 + 5*i);
    実行;
    i += 1;
    実行;
}

i := 0;

実行;

while(pages_B != 40) {
    pages_B -= (45 + 5*i);
    実行;
    i += 1;
    実行;
}

記録1 {
    print(pages_A);
}


【工夫】
解答を見ると、余分なページを前に持ってくるみたいだ。
35、35、40、45……。
40、45、50、55……。
で後者において余分な70ページが1日で読まれることが分かる(増加ペース的に2日以上には分けれない)から、答えは40+45+50+55+60+65+70。