Proofs without Words:Exercises in Visual Thinking(v.1 and v.2)

下面是手画的和拍的一些图片,出自标题中的那两本书,在图书馆草草浏览了半个小时,就把一眼能看出来的摘到这里了,再复杂一些的感觉违背了无字证明的初衷了,就没有摘录:

勾股定理:

希波克拉底定理:

无限步三等分一个角:

五角星顶角和为180 度:

完全平方:

余弦定理:

半角公式:

反正切函数的和:

均值定理:

一个正数及其倒数的和至少为2:

整数求和:

内含正方形的正方形:连接正方形各顶点与对边中点,则小正方形的面积 = 1/5 大正方形的面积

直角三角形内接圆半径的两种表示方法:

这里ab/(a+b+c) = (a+b-c)/2,可以得出勾股定理(又一种证明方式)a^2+b^2 = c^2。

几何级数:

斐波那契数列的平方求和:

体悟到数学的绝妙之美了吗:-?

时间: 2024-10-21 10:04:15

Proofs without Words:Exercises in Visual Thinking(v.1 and v.2)的相关文章

pycharm添加wordcloud模块时报错:error: Microsoft Visual C++ 14.0 is required. Get it with "Microsoft Visual C++ Build Tools": http://landinghub.visualstudio.com/visual-cpp-build-tools

windows 7 32bit python3.6.3 32bit pycharm2018社区版 32bit 问题说明: 添加wordcloud模块时报错:error: Microsoft Visual C++ 14.0 is required. Get it with "Microsoft Visual C++ Build Tools": http://landinghub.visualstudio.com/visual-cpp-build-tools 解决方法: 1. 打开http

[转]查看处于被锁状态的表:v$locked_object dba_objects v$session all_objects v$sqlarea v$lock

oracle官网当一个用户发出select..for update的错作准备对返回的结果集进行修改时,如果结果集已经被另一个会话锁定,就是发生阻塞.需要等另一个会话结束之后才可继续执行.可以通过发出 select… for update nowait的语句来避免发生阻塞,如果资源已经被另一个会话锁定,则会返回以下错误:Ora-00054:resource busy and acquire with nowait specified. oracle官网死锁-deadlock 定义:当两个用户希望持

Windows下pip安装包报错:error: Microsoft Visual C++ 9.0 is required (Unable to find vcvarsall.bat)

在Windows7x64下使用pip安装包的时候提示报错: error: Microsoft Visual C++ 9.0 is required (Unable to find vcvarsall.bat). Get it from http://aka.ms/vcpython27 原因:windows下使用pip安装包的时候需要机器装有vs2008,VS2012还不行,如果不想装VS2008的话,可以安装一个Micorsoft Visual C++ Compiler for Python 2

菜鸟进阶之:VC++之Visual Studio中DLL调用实现[静态嵌入]

C++写的DLL,用C++调用其实是一个比较简单的事情,调用DLL函数的方法其实有很多,说一个最普通的方法: 1.新建一个解决方案,文件->新建项目->Visual c++->win32 控制台应用程序->Next->DLL->完成.2.项目属性中->配置类型->静态(.lib).3.lib2.h文件: class lib2 { public: lib2(); ~lib2(); int calc(int val1, int val2); }; 4.lib3.

.NET工具ReSharper:如何帮助Visual Studio用户?

ReSharper是一个著名的代码生成工具,其能帮助Microsoft Visual Studio成为一个更佳的IDE.实质上,ReSharper特征可用于C#,VB.net,XML,Asp.net,XAML,和构建脚本. 使用ReSharper,你可以进行深度代码分析,智能代码协助,实时错误代码高亮显示,解决方案范围内代码分析,快速代码更正,一步完成代码格式化和清理,业界领先的自动代码重构,高级的集成单元测试方案,和强大的解决方案内导航和搜索. ReSharper Ultimate 2019.

论文阅读:Review of Visual Saliency Detection with Comprehensive Information

这篇文章目前发表在arxiv,日期:20180309. 这是一篇针对多种综合性信息的视觉显著性检测的综述文章. 注:有些名词直接贴原文,是因为不翻译更容易理解.也不会逐字逐句都翻译,重要的肯定不会错过^_^.我们的目的是理解文章思想,而不是为了翻译而纯粹翻译.翻译得不好,敬请包涵O(∩_∩)O~ 欢迎同道中人QQ交流:1505543113 abstract: 随着采集技术( acquisition technology)的发展,许多综合性信息(comprehensive information)

Rust 优劣势: v.s. C++ / v.s. Go(持续更新)

Rust 发展速度比 C++ 强很多.如果去翻 open-std 的故纸堆,会发现 C++ 这边有很多人(包括标准委员会的人)提了有用的提案,但后来大多不了了之或经历了非常长的时间才进入标准. >> C++ 设计哲学&思想体系 另外就是以前就有的: Rust 有很漂亮的宏和植入类型系统的生命期体系.目前看来 C++ 没什么可能加进去.(虽然有的编译器已经能将生命期诊断实现为警告,但这仍与语言标准本身关系不大) Rust 有更加简洁而规范的对象模型. C++ 可以写出很 weird 的类

Correlation Filter in Visual Tracking系列一:Visual Object Tracking using Adaptive Correlation Filters 论文笔记

Visual Object Tracking using Adaptive Correlation Filters 一文发表于2010的CVPR上,是笔者所知的第一篇将correlation filter引入tracking领域内的文章,文中所提的Minimum Output Sum of Squared Error(MOSSE),可以说是后来CSK.STC.Color Attributes等tracker的鼻祖.Correlation Filter(以下简称CF)源于信号处理领域,后被运用于图

解决:Visual Assist X 不支持HTML、Javascript等提示

Visual Assist X 安装后,不能进行javascript hmtl提示,只有回到老版本才行.这个问题折腾了老久,才给解决了. 记录下来,以便于网友和自己使用. 问题原因: Visual Assist X 从10.8.2001.0版本开始不默认支持HTML.Javascript等语言,需要手动修改注册表开启对HTML.Javascript等语言的支持. 解决: 前提:安装好 va_x, 并且c#等语言能正常提示. 1.注册表中,将"HKCU \ Software \ Whole Tom