这个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年出道，代表作有《茫茫天地间》《漫漫长夜》《无法忘记你》等）
发生爆炸事件的三个地方都是单人公寓，被害者均为斐三郎生学会的毕业生。
「他们不是一伙儿的吗？武藤，你怎么看？」
「大概是发生内讧了吧」
他们的犯罪声明尚未出现。
「马上就到车站了」