这个b/a就是用来表示√5的分数，它是最简分数，……呃，就是说不能继续约分的分数（莲子：又称既约分数）。请记住”
面前的蟹渡露出笑容，旁边的牛河原警部也显得饶有兴趣。粉红色的自动铅笔继续流畅地写下证明。她将等式两边平方，又进行了一些变形，得到了以下的式子。
“5·a^2=b^2”
“根据这个式子可以明白，‘a和b都是5的倍数’”
是吗？我已经听不懂了，只好呆呆地看着页面。
“等一下，这不对啊”
牛河原警部插了进来。浜村看向他，满脸期待。
“为什么呢？”
“因为，如果它们都是5的倍数，那么回到①式，不就可以继续约分了吗？”
…………？
没错。如果a和b都是5的倍数，那么b/a就可以用5再约一次分。可刚才不是说了这已经是最简分数……
“和刚才说的不一样啊！”
紧接着聪明的上司，蟹渡大声叫道。然而出乎意料，浜村显得很开心。
“说出这句话，就意味着证明结束了”
“什么意思？”
“从最开始假定和要证的结论相反的事情，然后通过算式和逻辑推演，最后发现‘和一开始说好的不一样！’，就坏心眼地说‘看吧，果然最开始的假设是错误的’，这样就结束证明了”
浜村渚咯咯咯地笑着，连鼻子都皱歪了，似是在表现“坏心眼”。
……从一开始故意假设与猜测相反的内容，推导出与假设矛盾的结论，从而结束证明，总觉得很诡异。反证法——这就是热爱真理的数学爱好者们所做的事情吗？我不由得与对面的蟹渡四目相对，一同歪起头。如果说数学的真理放之四海皆准，那么数学白痴的心情大概也是一样。
“总之，这就证明了√5是无理数。Q.E.D.”
“咦，你说什么？”
“Quod Erat Demonstrandum.（译注：为拉丁语“证明之终”之意） ‘证毕’的意思”
浜村渚这样收尾的时候，从厨房送来一个巨大的汉堡。
“哦”
一直沉默不语的熊坂低声吟道。汉堡放到了他的面前，两层面包之间夹着足足有十张肉饼，宛如高耸的巨塔。
“这些您全都要吃下吗？”
浜村渚瞪圆了眼睛，看向熊坂。
√9 函馆早市螃蟹追逐战
√(1+√(1+√(1+√(1+√……))))
感觉自己被丢进这样一个连续不断的根式地狱中。这时，枕边的电话响起，我醒了过来。
“喂，你好……”
“武藤吗？”
是牛河原警部。听到他的声音，我才想起自己已经到了函馆，这儿是宾馆的房间内。
“被摆了一道”
警部省去了客套，只是语气沉重地说道。
“出什么事了吗？”
“市内建筑发生爆炸，一个小时内出现了三起”
对于刚睡醒的脑袋而言，这内容太刺激了点。我撑起身子。
“爆炸？有人受伤吗？”
“两人遇害，一人重伤”
终于造成死伤了。我看向枕边的数字钟，现在是早五点。窗外已经透亮，昭示着晴朗的天气，与令人忧郁的案件截然相反。
“我去宾馆接你，麻烦准备一下”
“明、明白了”
“还有，这件事先不要告诉浜村。她昨天估计累得够呛，现在时间还早，而且事件也不太安全”
昨晚离开快乐小丑汉堡店后，我们乘坐缆车登上函馆山，欣赏了都市的夜景。看到一片璀璨的灯光，浜村渚兴奋得连声叫道“好漂亮，好漂亮”。尽情游览一番后，我们回到宾馆，已是晚上十点。我和浜村各占据一间客室。
眼下，她应该在隔壁睡得正香。我向牛河原警部绅士般的亲切表示感谢后，挂断了电话，从背包中取出竹内本部长交给我的“斐三郎升学会毕业生·失踪者文件”。
很快，一辆奶牛图案的凯迪拉克停到了宾馆前。我坐进车内，听取了事件的大概。驾驶席上是蟹渡，牛河原警部坐在他后面，我和他一同坐在后座，我前面的副驾驶席上则是身躯巨大的熊坂。四人挤在一辆车上，显得有些局促。车内的音响中流出松山千春的歌曲。（译注：松山千春(1955.12.16-)，日本民谣歌手，北海道出身，1975年出道，代表作有《茫茫天地间》《漫漫长夜》《无法忘记你》等）
发生爆炸事件的三个地方都是单人公寓，被害者均为斐三郎生学会的毕业生。
“他们不是一伙儿的吗？武藤，你怎么看？”
“大概是发生内讧了吧”
他们的犯罪声明尚未出现。
“马上就到车站了”