从一道初等几何题目聊聊作为工具的数学

作为一个在杭州的流民，每周末才能回家，早上例行家务，做完后例行刷10分钟手机，在朋友圈看到一个有意思的几何题，原题如下：

哈哈，这正是我的菜，一直都是，遂放下手机，拿了几张打印纸，开始比划。

这等题目背后一定暗藏着某种奇技淫巧，必须作出辅助线才能真相大白，我先后尝试了：

过C做CG平行于AB…
在AD上截取一点G，使得AG=AB，则三角形AGC等边…
…
过A作AG交DC于G，使得角BAG=60度…

其中最后一个奏效：

很容易证明△ABG\triangle ABG△ABG等边，由于AC=AGAC=AGAC=AG，则可求∠AGC=80\angle AGC=80∠AGC=80，进而∠DGA=100\angle DGA=100∠DGA=100，这就好玩了，简单掐指一算，∠DAG=40\angle DAG=40∠DAG=40，我靠，AG=DGAG=DGAG=DG，所以，△GBD\triangle GBD△GBD等腰啊，所以，∠BDG=180−402=70\angle BDG=\dfrac{180-40}{2}=70∠BDG=2180−40=70，最终，∠BDA=70−40=30\angle BDA=70-40=30∠BDA=70−40=30。

…

这一趟下来，丰满的很！我对这等奇技淫巧暗喜，从中学时代开始，我就惊叹于这等把戏，并且践行之，直到今日，我日常工作中，依然热衷于这种，详情参见我之前的文章。

由是我也付出了高昂的代价，我中学期间虽然数学竞赛能获奖，但高考失利，如今虽然能解决棘手问题，但不会编程…

如果∠BAC=81\angle BAC=81∠BAC=81怎么办？哈哈。

我写这篇文章，不是为了弘扬传统欧几里得几何学中众等奇技淫巧，更不是为了将此表述为所谓的艺术，虽然，在古希腊，这种技巧往往是贵族的娱乐活动之一，但真正的数学，必然是工具化的，思想化的。

我们需要一种工具。

这就是解析式，在笛卡尔坐标系中，这种问题便化作了一种流程化的算法，只需要记住简单的几个规则，这种问题便可以迎刃而解，即便∠BAC=82.3479\angle BAC=82.3479∠BAC=82.3479也无所谓。

随便选择一个原点OOO建立平面直角坐标系，本例我选择BC的中点，并设OC=1OC=1OC=1：

很容易用点斜式求得直线DCDCDC，ADADAD的方程：

Ldc:y=tan⁡30×(x−1)L_{dc}:y=\tan 30\times (x-1)Ldc:y=tan30×(x−1)
Lad:y−tan⁡50=tan⁡70×xL_{ad}:y-\tan 50=\tan70\times xLad:y−tan50=tan70×x

进而两个方程联立得到点D的坐标：

D:(tan30+tan50tan30−tan50,2tan50tan30tan30−tan50)D:(\dfrac{tan30+tan50}{tan30-tan50},\dfrac{2tan50 tan30}{tan30-tan50})D:(tan30−tan50tan30+tan50,tan30−tan502tan50tan30)

接下来用两点式求的直线BDBDBD的方程，最终用夹角公式求的直线BDBDBD和ADADAD的夹角。

是不是降维打击！

一道精心设计的题目，在三角形以及其角度之间被隐藏了太多的信息，就好像捉迷藏，只有作出正确的辅助线才能让人恍然大悟的题目，在解析式面前显得如此苍白！

在解析式面前，甚至不需要挖掘出图形背后隐藏的等边三角形，随便一个人，只需要机械化演算，就能得到结果，这就是力量。

哦，对了，还有诸多类似 求阴影部分面积 的题目，也是隐藏了很多非常狠毒的把戏，然而在解析坐标系里的微积分面前，一切都将暴露，任何把戏都是无力的。

虽然解析式和微积分让人觉得枯燥，显得毫无技巧，但是它们确实是推动现代科学进步的工具，是的，它们真正将数学工具化了，数学不再是一种思维游戏，不再是捉迷藏的把戏，而实实在在成了扳手榔头…

哦，还有，计算机不会自己想到欧几里得几何的奇技淫巧，但它却可以完成规则更简单的解析式运算，到底什么是智能呢？

本质上，解析式就是把世界摆在了一个规则的网格里，你挨着数数就可以，遍历虽然低效，但总是可行的，而把戏并非每次都奏效，它是需要条件的…

浙江温州皮鞋湿，下雨进水不会胖。

从一道初等几何题目聊聊作为工具的数学相关推荐

从交互设计师的角度，聊聊设计工具的那些事
工欲善其事,必先利其器,这句话是出自论语,讲的是要做好一件事,工具是非常重要的,作为一个设计师,设计工具对于我们的重要性毋庸置疑,每天都在接触,也有很多感悟和心得. 我从事设计行业也有些年头,从一开始 ...
三只青蛙的故事：一道脑筋急转弯题目引发的思考
一道脑筋急转弯题目是这样的:有三只青蛙在河中的一片叶子上顺水漂流.其中一只想跳到河里.在叶子上还剩几只青蛙? 大多数人会回答还有两只.(我刚看到此题时认为一只也没有,因为一只青蛙跳了之后剩下的两只也会 ...
数学智力题武士数独题目_这6道数学智力题，我琢磨一上午也无解，结果被一个学霸全部搞定...
数学智力题不同于普通的试题,它是集趣味性.智力测验等元素为一体的数学题目.长期坚持做数学智力题有利于开发人们的大脑智力.特别是对于学生来说,这种数学智力题能够让他们的思维变得更加的灵活.再加上智力题本 ...
数学智力题武士数独题目_这6道数学智力题，我琢磨一上午也无解，你敢挑战吗？...
原标题:这6道数学智力题,我琢磨一上午也无解,你敢挑战吗? 数学智力题不同于普通的试题,它是集趣味性.智力测验等元素为一体的数学题目.长期坚持做数学智力题有利于开发人们的大脑智力.特别是对于学生来说, ...
Google测试工师的一道面试题目
最近重读<Google软件测试之道>,其中有一道面向软件测试工程师的面试题非常考验测试人员的思维.拿来与你们分享,看看这样一道题,你能想到多少个测试点. 题目: 在一个Web测试页面上,有 ...
ctf xor题_从一道CTF题目谈PHP中的命令执行
原创 Xenny 合天智汇快睡的时候,打开B站发现有位用户留言,大意就是让我帮忙看一道题,正好当时有空,于是就打开了他发的链接,代码如下很明显是一道PHP代码审计的题目,而且只需要绕过第三行的if ...
某笔试的一道简单题目
题目是从牛客网的Harmon转载过来的,本人仅提供解法,如有侵权,请私信. 题目链接:https://www.nowcoder.com/discuss/405887?type=1 最小错排 //样例 ...
安卓逆向从入门到嗝屁之另一道CTF题目
小伙伴发了一道安卓的CTF题目,有空就看了下: 首先,这次就先不装了,开个模拟器卡的一P,androidkiller.gda等无法打开,jeb正常打开(当然dex2jar打开dex文件,再用jd-gu ...
从一道CTF题目学习Tanner图和LDPC
概述 Tanner图是由Mr Tanner在1981在论文中提出来的,是研究低密度校验码的重要工具. Tanner图表示的是 LDPC 的校验矩阵.Tanner图中的循环是由图中的一群相互连接 ...

从一道初等几何题目聊聊作为工具的数学

从一道初等几何题目聊聊作为工具的数学相关推荐

最新文章

热门文章